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:09, 8 February 2015 Celliso2 (Talk | contribs) automatically marked revision 17398 of page Chucky Ellison patrolled
- 19:59, 26 January 2015 Celliso2 (Talk | contribs) automatically marked revision 17384 of page Chucky Ellison patrolled
- 19:58, 26 January 2015 Celliso2 (Talk | contribs) automatically marked revision 17383 of page Chucky Ellison patrolled
- 02:48, 19 January 2014 Celliso2 (Talk | contribs) automatically marked revision 16953 of page Curriculum Vitae, Chucky Ellison patrolled
- 04:06, 17 September 2013 Celliso2 (Talk | contribs) automatically marked revision 16700 of page Chucky Ellison patrolled
- 03:58, 17 September 2013 Celliso2 (Talk | contribs) automatically marked revision 16699 of page Chucky Ellison patrolled
- 23:30, 10 June 2013 Celliso2 (Talk | contribs) automatically marked revision 16608 of page Chucky Ellison patrolled
- 04:33, 10 February 2011 Celliso2 (Talk | contribs) changed group membership for User:Lazar6 from (none) to uploadaccess and fsl
- 08:18, 30 December 2010 Celliso2 (Talk | contribs) uploaded "File:ChuckyBig.jpg" (New main Chucky picture)
- 08:06, 30 December 2010 Celliso2 (Talk | contribs) uploaded "File:Chucky100x100.jpg" (New Chucky icon)
- 18:14, 13 November 2010 Celliso2 (Talk | contribs) changed group membership for User:Qluo2 from (none) to uploadaccess and fsl
- 18:14, 13 November 2010 Celliso2 (Talk | contribs) changed group membership for User:Girlea2 from (none) to uploadaccess and fsl
- 17:57, 13 November 2010 Celliso2 (Talk | contribs) changed group membership for User:Fengchen from fsl and uploadaccess to (none)
- 17:56, 13 November 2010 Celliso2 (Talk | contribs) changed group membership for User:Ilseman2 from uploadaccess to uploadaccess and fsl
- 17:16, 13 November 2010 Celliso2 (Talk | contribs) changed group membership for User:Celliso2 from bureaucrat, fsl and uploadaccess to bureaucrat, fsl, uploadaccess and administrator
- 16:22, 2 April 2010 Celliso2 (Talk | contribs) moved page Matching Logic Competitors to Private:Matching Logic Competitors (made private)
- 16:21, 2 April 2010 Celliso2 (Talk | contribs) moved page Matching Logic Planner to Private:Matching Logic Planner (made private)
- 19:48, 2 March 2010 Celliso2 (Talk | contribs) changed group membership for User:Stefane1 from (none) to uploadaccess, bureaucrat, interwiki and fsl
- 19:48, 21 December 2009 Celliso2 (Talk | contribs) uploaded "File:K-compiler-0.1.zip" (First version of K-Compiler)
- 19:41, 21 December 2009 Celliso2 (Talk | contribs) uploaded "File:K-compiler-benchmark-programs.zip" (programs used in benchmarking the compiler)
- 16:11, 20 July 2009 Celliso2 (Talk | contribs) uploaded "File:Rosu-ellison-schulte-2009-MLTR.pdf" (new version)
- 22:03, 19 July 2009 Celliso2 (Talk | contribs) uploaded "File:Rosu-ellison-schulte-2009-MLTR.pdf" (more proofs done)
- 20:58, 17 July 2009 Celliso2 (Talk | contribs) uploaded "File:ML-Language-Pack-0.1.zip" (added himp)
- 18:53, 17 July 2009 Celliso2 (Talk | contribs) uploaded "File:ML-Prototype-0.2.zip" (added k-maude to zip, removed some files, simplified files)
- 18:17, 17 July 2009 Celliso2 (Talk | contribs) uploaded "File:ML-Language-Pack-0.1.zip" (language pack for languages used in ml popl paper)
- 16:42, 17 July 2009 Celliso2 (Talk | contribs) uploaded "File:ML-Prototype-0.1.zip" (now with readme)
- 16:28, 17 July 2009 Celliso2 (Talk | contribs) uploaded "File:ML-Prototype-0.2.zip" (now with readme)
- 16:10, 17 July 2009 Celliso2 (Talk | contribs) uploaded "File:Rosu-ellison-schulte-2009-MLTR.pdf" (matching logic tr)
- 09:51, 17 July 2009 Celliso2 (Talk | contribs) uploaded "File:ML-Prototype-0.2.zip"
- 09:44, 17 July 2009 Celliso2 (Talk | contribs) deleted page File:MatchIMP-0.2.zip (changed name)
- 09:42, 17 July 2009 Celliso2 (Talk | contribs) uploaded "File:ML-Prototype-0.2.zip" (matching logic prototype by chucky, for imp)
- 09:41, 17 July 2009 Celliso2 (Talk | contribs) uploaded "File:ML-Prototype-0.1.zip" (matching logic prototype by grigore, for matchc)
- 09:40, 17 July 2009 Celliso2 (Talk | contribs) deleted page File:ML-Prototype1.zip (changing name)
- 09:35, 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:49, 16 July 2009 Celliso2 (Talk | contribs) uploaded "File:MatchIMP-0.2.zip" (MatchIMP Prover)
- 16:41, 12 July 2009 Celliso2 (Talk | contribs) uploaded "File:ML-Prototype1.zip" (First Prototype for Matching Logic Prover; written by Grigore)
- 06:08, 20 April 2007 Celliso2 (Talk | contribs) uploaded "File:FullChucky.jpg" (Fullsize picture of Chucky)
- 05:46, 20 April 2007 Celliso2 (Talk | contribs) uploaded "File:Chucky.jpg" (Thumbnail of Chucky)