All logs
From PLSwiki
Combined display of all available logs of PLSwiki. You can narrow down the view by selecting a log type, the user name, or the affected page.
View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)
- 10:52, 7 May 2012 Kiniry (Talk | contribs) uploaded "Image:Validating Semantics PLS.pdf" (The PLS lunch talk Joe gave on 7 May 2012.)
- 11:56, 11 April 2011 Kiniry (Talk | contribs) uploaded "Image:Kiniry-TOMESO.pdf" (Revised version of the talk I gave to TOMESO on 8 April 2011, "Reasoning about Concurrency in (RT) Java.")
- 15:31, 23 February 2011 Mogel (Talk | contribs) Programming languages in higher dimensional algebra. moved to Programming languages in string diagrams (revert)
- 14:26, 22 February 2011 Mogel (Talk | contribs) Mellies-Lectures moved to Programming languages in higher dimensional algebra. (revert)
- 09:54, 2 November 2010 Jebe (Talk | contribs) uploaded "Image:Inheritance.zip"
- 09:53, 2 November 2010 Jebe (Talk | contribs) uploaded "Image:Ch09.pdf"
- 09:07, 28 September 2010 Jebe (Talk | contribs) uploaded "Image:Ch05.pdf"
- 08:13, 31 August 2010 Jebe (Talk | contribs) uploaded "Image:Ch01.pdf"
- 14:45, 30 August 2010 Jebe (Talk | contribs) uploaded "Image:HelloPrinter.zip"
- 15:45, 16 June 2010 Alef (Talk | contribs) uploaded "Image:Big-red.png" (The Big Red logo.)
- 11:41, 14 June 2010 Kiniry (Talk | contribs) uploaded "Image:GTD.pdf" (Joe Kiniry's talk on Getting Things Done (GTD) given at the PLS lunch on 14 June 2010.)
- 10:29, 12 March 2010 Kasv (Talk | contribs) marked r2299 of Tools and Methods for Scalable Software Verification (TOMESO) patrolled (automatic)
- 12:22, 4 February 2010 Panic (Talk | contribs) uploaded "Image:AddA-comb.png" (functional reactive programming example)
- 12:05, 4 February 2010 Panic (Talk | contribs) uploaded "Image:Henrik-at-yale.gif" (Henirk Nilsson)
- 11:16, 4 February 2010 Kasv (Talk | contribs) marked r2000 of TigerMachine patrolled (automatic)
- 11:15, 4 February 2010 Kasv (Talk | contribs) marked r1999 of TigerCoq patrolled (automatic)
- 10:45, 4 February 2010 Kasv (Talk | contribs) marked r1998 of TigerCoq patrolled (automatic)
- 13:09, 27 November 2009 Kasv (Talk | contribs) marked r1875 of Reading Group POPL 2010 patrolled (automatic)
- 13:09, 27 November 2009 Kasv (Talk | contribs) marked r1874 of Reading Group POPL 2010 patrolled (automatic)
- 13:06, 27 November 2009 Kasv (Talk | contribs) marked r1873 of Reading Group POPL 2010 patrolled (automatic)
- 09:02, 8 September 2009 Hilde (Talk | contribs) uploaded "Image:PLSlunchtalkSept2009.pdf" (Slides for Thomas' lunch talk Monday, September 7th, 2009.)
- 10:23, 26 August 2009 Kasv (Talk | contribs) marked r1747 of LunchTalks patrolled (automatic)
- 12:01, 5 May 2009 WikiSysop (Talk | contribs) marked r1649 of ASST-09 patrolled (automatic)
- 12:00, 5 May 2009 WikiSysop (Talk | contribs) uploaded "Image:Article-sgi.pdf"
- 09:44, 4 May 2009 WikiSysop (Talk | contribs) marked r1647 of ASST-09 patrolled (automatic)
- 09:41, 4 May 2009 WikiSysop (Talk | contribs) marked r1646 of ASST-09 patrolled (automatic)
- 09:15, 29 April 2009 WikiSysop (Talk | contribs) marked r1621 of ASST-09 patrolled (automatic)
- 09:15, 29 April 2009 WikiSysop (Talk | contribs) marked r1620 of ASST-09 patrolled (automatic)
- 11:33, 24 April 2009 WikiSysop (Talk | contribs) marked r1607 of ASST-09 patrolled (automatic)
- 07:53, 23 April 2009 WikiSysop (Talk | contribs) marked r1592 of ASST-09 patrolled (automatic)
- 09:32, 23 February 2009 WikiSysop (Talk | contribs) marked r1400 of LunchTalks patrolled (automatic)
- 04:50, 17 February 2009 WikiSysop (Talk | contribs) uploaded "Image:Kasper.png"
- 04:50, 17 February 2009 WikiSysop (Talk | contribs) marked r1377 of MediaWiki:Loginprompt patrolled (automatic)
- 11:45, 4 February 2009 WikiSysop (Talk | contribs) changed group membership for User:Kasv from (none) to sysop, bureaucrat
- 13:27, 27 January 2009 WikiSysop (Talk | contribs) marked r1264 of Milner2009 patrolled (automatic)
- 08:40, 27 January 2009 WikiSysop (Talk | contribs) marked r1261 of Milner2009 patrolled (automatic)
- 08:39, 27 January 2009 WikiSysop (Talk | contribs) marked r1260 of Milner2009 patrolled (automatic)
- 16:30, 26 January 2009 WikiSysop (Talk | contribs) marked r1259 of Milner2009 patrolled (automatic)
- 12:50, 23 January 2009 WikiSysop (Talk | contribs) marked r1257 of Milner2009 patrolled (automatic)
- 11:31, 15 January 2009 WikiSysop (Talk | contribs) marked r1231 of Milner2009 patrolled (automatic)
- 11:27, 15 January 2009 WikiSysop (Talk | contribs) marked r1230 of Milner2009 patrolled (automatic)
- 11:21, 15 January 2009 WikiSysop (Talk | contribs) marked r1229 of Milner2009 patrolled (automatic)
- 11:20, 15 January 2009 WikiSysop (Talk | contribs) marked r1228 of Milner2009 patrolled (automatic)
- 14:19, 14 January 2009 WikiSysop (Talk | contribs) marked r1224 of Main Page patrolled (automatic)
- 14:19, 14 January 2009 WikiSysop (Talk | contribs) marked r1223 of Milner2009 patrolled (automatic)
- 14:15, 14 January 2009 WikiSysop (Talk | contribs) marked r1222 of Main Page patrolled (automatic)
- 13:52, 14 January 2009 WikiSysop (Talk | contribs) marked r1221 of Milner2009 patrolled (automatic)
- 13:48, 14 January 2009 WikiSysop (Talk | contribs) marked r1220 of Main Page patrolled (automatic)
- 23:26, 25 May 2008 Poswolsky (Talk | contribs) marked r862 of TableTennis patrolled (automatic)
- 13:25, 19 May 2008 Troels (Talk | contribs) uploaded a new version of "Image:Kappaslides-wo-movie.pdf" (Slides for presenting "Formal molecular biology" (Troels Damgaard))
