All public logs

Combined display of all available logs of FSL. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 21:10, 8 February 2015 Celliso2 (Talk | contribs) automatically marked revision 17398 of page Chucky Ellison patrolled
• 20:00, 26 January 2015 Celliso2 (Talk | contribs) automatically marked revision 17384 of page Chucky Ellison patrolled
• 19:59, 26 January 2015 Celliso2 (Talk | contribs) automatically marked revision 17383 of page Chucky Ellison patrolled
• 02:49, 19 January 2014 Celliso2 (Talk | contribs) automatically marked revision 16953 of page Curriculum Vitae, Chucky Ellison patrolled
• 04:07, 17 September 2013 Celliso2 (Talk | contribs) automatically marked revision 16700 of page Chucky Ellison patrolled
• 03:59, 17 September 2013 Celliso2 (Talk | contribs) automatically marked revision 16699 of page Chucky Ellison patrolled
• 23:31, 10 June 2013 Celliso2 (Talk | contribs) automatically marked revision 16608 of page Chucky Ellison patrolled
• 04:34, 10 February 2011 Celliso2 (Talk | contribs) changed group membership for User:Lazar6 from (none) to uploadaccess and fsl
• 08:19, 30 December 2010 Celliso2 (Talk | contribs) uploaded "File:ChuckyBig.jpg" (New main Chucky picture)
• 08:07, 30 December 2010 Celliso2 (Talk | contribs) uploaded "File:Chucky100x100.jpg" (New Chucky icon)
• 18:15, 13 November 2010 Celliso2 (Talk | contribs) changed group membership for User:Qluo2 from (none) to uploadaccess and fsl
• 18:15, 13 November 2010 Celliso2 (Talk | contribs) changed group membership for User:Girlea2 from (none) to uploadaccess and fsl
• 17:58, 13 November 2010 Celliso2 (Talk | contribs) changed group membership for User:Fengchen from fsl and uploadaccess to (none)
• 17:57, 13 November 2010 Celliso2 (Talk | contribs) changed group membership for User:Ilseman2 from uploadaccess to uploadaccess and fsl
• 17:17, 13 November 2010 Celliso2 (Talk | contribs) changed group membership for User:Celliso2 from bureaucrat, fsl and uploadaccess to bureaucrat, fsl, uploadaccess and administrator
• 16:23, 2 April 2010 Celliso2 (Talk | contribs) moved page Matching Logic Competitors to Private:Matching Logic Competitors (made private)
• 16:22, 2 April 2010 Celliso2 (Talk | contribs) moved page Matching Logic Planner to Private:Matching Logic Planner (made private)
• 19:49, 2 March 2010 Celliso2 (Talk | contribs) changed group membership for User:Stefane1 from (none) to uploadaccess, bureaucrat, interwiki and fsl
• 19:49, 21 December 2009 Celliso2 (Talk | contribs) uploaded "File:K-compiler-0.1.zip" (First version of K-Compiler)
• 19:42, 21 December 2009 Celliso2 (Talk | contribs) uploaded "File:K-compiler-benchmark-programs.zip" (programs used in benchmarking the compiler)
• 16:12, 20 July 2009 Celliso2 (Talk | contribs) uploaded "File:Rosu-ellison-schulte-2009-MLTR.pdf" (new version)
• 22:04, 19 July 2009 Celliso2 (Talk | contribs) uploaded "File:Rosu-ellison-schulte-2009-MLTR.pdf" (more proofs done)
• 20:59, 17 July 2009 Celliso2 (Talk | contribs) uploaded "File:ML-Language-Pack-0.1.zip" (added himp)
• 18:54, 17 July 2009 Celliso2 (Talk | contribs) uploaded "File:ML-Prototype-0.2.zip" (added k-maude to zip, removed some files, simplified files)
• 18:18, 17 July 2009 Celliso2 (Talk | contribs) uploaded "File:ML-Language-Pack-0.1.zip" (language pack for languages used in ml popl paper)
• 16:43, 17 July 2009 Celliso2 (Talk | contribs) uploaded "File:ML-Prototype-0.1.zip" (now with readme)
• 16:29, 17 July 2009 Celliso2 (Talk | contribs) uploaded "File:ML-Prototype-0.2.zip" (now with readme)
• 16:11, 17 July 2009 Celliso2 (Talk | contribs) uploaded "File:Rosu-ellison-schulte-2009-MLTR.pdf" (matching logic tr)
• 09:52, 17 July 2009 Celliso2 (Talk | contribs) uploaded "File:ML-Prototype-0.2.zip"
• 09:45, 17 July 2009 Celliso2 (Talk | contribs) deleted page File:MatchIMP-0.2.zip (changed name)
• 09:43, 17 July 2009 Celliso2 (Talk | contribs) uploaded "File:ML-Prototype-0.2.zip" (matching logic prototype by chucky, for imp)
• 09:42, 17 July 2009 Celliso2 (Talk | contribs) uploaded "File:ML-Prototype-0.1.zip" (matching logic prototype by grigore, for matchc)
• 09:41, 17 July 2009 Celliso2 (Talk | contribs) deleted page File:ML-Prototype1.zip (changing name)
• 09:36, 17 July 2009 Celliso2 (Talk | contribs) deleted page Matching Logic---From Executable Semantics to Program Verification (content before blanking was: '<purge></purge><private>== POPL'10 ==</private><pub id="rosu-ellison-schulte-2010-popl" template='PubDefault'></pub>')
• 18:50, 16 July 2009 Celliso2 (Talk | contribs) uploaded "File:MatchIMP-0.2.zip" (MatchIMP Prover)
• 16:42, 12 July 2009 Celliso2 (Talk | contribs) uploaded "File:ML-Prototype1.zip" (First Prototype for Matching Logic Prover; written by Grigore)
• 06:09, 20 April 2007 Celliso2 (Talk | contribs) uploaded "File:FullChucky.jpg" (Fullsize picture of Chucky)
• 05:47, 20 April 2007 Celliso2 (Talk | contribs) uploaded "File:Chucky.jpg" (Thumbnail of Chucky)