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).
- 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
- 12:00, 10 October 2011 Yaniv (Talk | contribs) uploaded a new version of File:DebugScreenshot1c.png
- 11:59, 10 October 2011 Yaniv (Talk | contribs) uploaded a new version of File:DebugScreenshot1b.png
- 11:59, 10 October 2011 Yaniv (Talk | contribs) uploaded a new version of File:DebugScreenshot1a.png
- 11:55, 10 October 2011 Yaniv (Talk | contribs) uploaded File:DebugScreenshot1c.png
- 11:54, 10 October 2011 Yaniv (Talk | contribs) uploaded File:DebugScreenshot1b.png
- 11:53, 10 October 2011 Yaniv (Talk | contribs) uploaded a new version of File:DebugScreenshot1a.png
- 11:52, 10 October 2011 Yaniv (Talk | contribs) uploaded File:DebugScreenshot1a.png
- 13:23, 9 October 2011 Yaniv (Talk | contribs) automatically marked revision 96 of page AspectLTL patrolled
- 13:22, 9 October 2011 Yaniv (Talk | contribs) automatically marked revision 95 of page AspectLTL patrolled
- 13:20, 9 October 2011 Yaniv (Talk | contribs) uploaded File:Screenshot debug.jpg
- 13:17, 9 October 2011 Yaniv (Talk | contribs) automatically marked revision 93 of page AspectLTL patrolled
- 07:16, 28 July 2011 Yaniv (Talk | contribs) automatically marked revision 92 of page AspectLTL patrolled
- 07:15, 28 July 2011 Yaniv (Talk | contribs) automatically marked revision 91 of page AspectLTL patrolled
- 03:28, 20 June 2011 Yaniv (Talk | contribs) automatically marked revision 89 of page AspectLTL patrolled
- 01:31, 20 June 2011 Yaniv (Talk | contribs) automatically marked revision 85 of page AspectLTL patrolled
- 05:22, 4 April 2011 Yaniv (Talk | contribs) automatically marked revision 34 of page AspectLTL patrolled
- 08:42, 16 March 2011 Yaniv (Talk | contribs) automatically marked revision 33 of page AspectLTL patrolled
- 08:32, 16 March 2011 Yaniv (Talk | contribs) automatically marked revision 32 of page AspectLTL patrolled
- 16:32, 14 March 2011 Yaniv (Talk | contribs) automatically marked revision 31 of page AspectLTL patrolled
- 16:32, 14 March 2011 Yaniv (Talk | contribs) automatically marked revision 30 of page AspectLTL patrolled
- 06:26, 10 March 2011 Yaniv (Talk | contribs) automatically marked revision 29 of page AspectLTL patrolled
- 00:39, 10 March 2011 Yaniv (Talk | contribs) automatically marked revision 28 of page AspectLTL patrolled
- 06:34, 13 December 2010 Yaniv (Talk | contribs) automatically marked revision 22 of page AspectLTL patrolled
- 06:33, 13 December 2010 Yaniv (Talk | contribs) uploaded File:Guide1.1.3a.pdf (A Programmer’s Guide to AspectLTL (Plug-in version 1.1.3, December 2010) )
- 03:50, 13 December 2010 Yaniv (Talk | contribs) automatically marked revision 19 of page AspectLTL patrolled
- 03:49, 13 December 2010 Yaniv (Talk | contribs) automatically marked revision 18 of page AspectLTL patrolled
- 03:47, 13 December 2010 Yaniv (Talk | contribs) uploaded File:Aosd11draft.pdf (A draft version of the aosd 2011 paper)
- 22:54, 5 December 2010 Yaniv (Talk | contribs) automatically marked revision 16 of page AspectLTL patrolled
- 09:39, 28 November 2010 Yaniv (Talk | contribs) uploaded File:PPS06.pdf (Design Synthesis in Action: Solving a 2EXPTIME-Complete Problem in Time N^3)
- 20:20, 28 September 2010 Yaniv (Talk | contribs) deleted page Main Page (content was: "<!-- BANNER ACROSS TOP OF PAGE {| id="mp-topbanner" style="width:100%; height:5em; background:#f6f6f6; margin-top:1.2em; border:1px solid #ddd;" | style="width:61%; color:#000;" | {| style="width:280px; border:none; background:no...")
- 20:17, 28 September 2010 Yaniv (Talk | contribs) automatically marked revision 9 of page MediaWiki:Mainpage patrolled
- 20:13, 28 September 2010 Yaniv (Talk | contribs) automatically marked revision 8 of page AspectLTL patrolled