All public logs
Combined display of all available logs of AspectLTL Wiki Page. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)- 05:26, 24 February 2016 Yaniv (Talk | contribs) uploaded File:Aspectltl.png (logo)
- 08:43, 4 July 2015 Yaniv (Talk | contribs) automatically marked revision 126 of page AspectLTL patrolled
- 08:42, 4 July 2015 Yaniv (Talk | contribs) automatically marked revision 125 of page AspectLTL patrolled
- 08:38, 4 July 2015 Yaniv (Talk | contribs) automatically marked revision 124 of page AspectLTL patrolled
- 08:21, 4 July 2015 Yaniv (Talk | contribs) uploaded a new version of File:PPS06.pdf
- 08:21, 4 July 2015 Yaniv (Talk | contribs) uploaded a new version of File:Screenshot debug.jpg
- 08:20, 4 July 2015 Yaniv (Talk | contribs) uploaded a new version of File:AspectLTLpg1.0.pdf
- 08:20, 4 July 2015 Yaniv (Talk | contribs) uploaded a new version of File:Aosd11draft.pdf
- 08:19, 4 July 2015 Yaniv (Talk | contribs) uploaded a new version of File:Aspectltl-tracing-aosd12.pdf
- 08:18, 4 July 2015 Yaniv (Talk | contribs) uploaded a new version of File:Aspectltl-aosd11.pdf
- 08:17, 4 July 2015 Yaniv (Talk | contribs) uploaded a new version of File:Guide1.1.3a.pdf
- 08:12, 4 July 2015 Yaniv (Talk | contribs) uploaded a new version of File:DebugScreenshot1c.png
- 08:11, 4 July 2015 Yaniv (Talk | contribs) uploaded a new version of File:DebugScreenshot1b.png
- 08:10, 4 July 2015 Yaniv (Talk | contribs) uploaded a new version of File:DebugScreenshot1a.png
- 08:23, 16 February 2012 Yaniv (Talk | contribs) automatically marked revision 113 of page AspectLTL patrolled
- 08:21, 16 February 2012 Yaniv (Talk | contribs) uploaded File:Aspectltl-tracing-aosd12.pdf (AOSD 2012 camera ready version of the paper "Two-Way Traceability and Conflict Debugging for AspectLTL Programs" )
- 07:48, 9 January 2012 Yaniv (Talk | contribs) automatically marked revision 110 of page AspectLTL patrolled
- 06:46, 9 January 2012 Yaniv (Talk | contribs) automatically marked revision 109 of page AspectLTL patrolled
- 06:42, 9 January 2012 Yaniv (Talk | contribs) automatically marked revision 108 of page AspectLTL patrolled
- 12:03, 10 October 2011 Yaniv (Talk | contribs) automatically marked revision 106 of page AspectLTL patrolled