All public logs
From LLWiki
Combined display of all available logs of LLWiki. 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 500 | older 500) (20 | 50 | 100 | 250 | 500)- 16:26, 11 March 2019 Olivier Laurent (Talk | contribs) changed group membership for User:Rémi Nollet from (none) to confirmed (Confirmed user)
- 16:23, 11 March 2019 User account Rémi Nollet (Talk | contribs) was created
- 13:49, 16 February 2019 User account Test Olivier (Talk | contribs) was created
- 18:07, 5 February 2019 User account Rnollet (Talk | contribs) was created
- 17:30, 6 June 2018 Olivier Laurent (Talk | contribs) changed group membership for User:Giulio Guerrieri from (none) to confirmed
- 01:13, 2 June 2018 User account Giulio Guerrieri (Talk | contribs) was created
- 22:03, 27 July 2017 Olivier Laurent (Talk | contribs) marked revision 628 of page List of equivalences patrolled
- 21:55, 27 July 2017 Olivier Laurent (Talk | contribs) marked revision 627 of page List of equivalences patrolled
- 12:40, 26 July 2017 Olivier Laurent (Talk | contribs) marked revision 626 of page List of equivalences patrolled
- 12:39, 26 July 2017 Olivier Laurent (Talk | contribs) marked revision 625 of page List of equivalences patrolled
- 10:31, 13 March 2017 Olivier Laurent (Talk | contribs) marked revision 624 of page Intuitionistic linear logic patrolled
- 12:04, 9 March 2017 Olivier Laurent (Talk | contribs) marked revision 623 of page Intuitionistic linear logic patrolled
- 12:27, 28 November 2016 User account Philipp Schuster (Talk | contribs) was created
- 12:10, 6 September 2016 Olivier Laurent (Talk | contribs) marked revision 622 of page List of equivalences patrolled
- 13:03, 8 January 2015 Olivier Laurent (Talk | contribs) marked revision 621 of page List of equivalences patrolled
- 15:32, 26 November 2014 Emmanuel Beffara (Talk | contribs) marked revision 620 of page List of equivalences patrolled
- 12:42, 21 November 2014 Olivier Laurent (Talk | contribs) marked revision 619 of page List of equivalences patrolled
- 12:39, 21 November 2014 Olivier Laurent (Talk | contribs) marked revision 618 of page List of equivalences patrolled
- 12:26, 21 November 2014 Olivier Laurent (Talk | contribs) marked revision 617 of page Lattice of exponential modalities patrolled
- 22:44, 4 April 2014 User account Test OL (Talk | contribs) was created
- 22:30, 4 April 2014 User account SadyeGUFIim (Talk | contribs) was created
- 22:28, 4 April 2014 User account ShaniUrbina (Talk | contribs) was created
- 22:28, 4 April 2014 User account KennithGonzalez (Talk | contribs) was created
- 22:19, 4 April 2014 User account Elzbietahghq9873 (Talk | contribs) was created
- 22:13, 4 April 2014 User account Hondavehicle712 (Talk | contribs) was created
- 22:12, 4 April 2014 User account Jaremab1792746 (Talk | contribs) was created
- 21:53, 4 April 2014 User account Ubaldfct6425632 (Talk | contribs) was created
- 21:52, 4 April 2014 User account Blankaz186 (Talk | contribs) was created
- 21:37, 4 April 2014 User account Roofspecialist07 (Talk | contribs) was created
- 21:36, 4 April 2014 User account Infiniticars342 (Talk | contribs) was created
- 21:20, 4 April 2014 User account Pianolesson308 (Talk | contribs) was created
- 21:20, 4 April 2014 User account 155draincleaning (Talk | contribs) was created
- 21:14, 4 April 2014 User account Sewerynavs284545 (Talk | contribs) was created
- 21:14, 4 April 2014 User account Vinyl9theory (Talk | contribs) was created
- 21:12, 4 April 2014 User account Egbertt763 (Talk | contribs) was created
- 21:05, 4 April 2014 User account Antonir062466 (Talk | contribs) was created
- 20:56, 4 April 2014 User account Eelpet12 (Talk | contribs) was created
- 20:56, 4 April 2014 User account Grouptour512 (Talk | contribs) was created
- 20:39, 4 April 2014 User account Zbadtl753 (Talk | contribs) was created
- 20:34, 4 April 2014 User account Aaronotaf993 (Talk | contribs) was created
- 20:33, 4 April 2014 User account Aleksandraj14217 (Talk | contribs) was created
- 20:15, 4 April 2014 User account Jozafatr31572 (Talk | contribs) was created
- 20:07, 4 April 2014 User account Hugozpb21 (Talk | contribs) was created
- 20:06, 4 April 2014 User account DakotaDawson (Talk | contribs) was created
- 19:56, 4 April 2014 User account Dogclass179 (Talk | contribs) was created
- 19:53, 4 April 2014 User account Hyundaicars743 (Talk | contribs) was created
- 19:47, 4 April 2014 User account Domaczaja66247 (Talk | contribs) was created
- 19:31, 4 April 2014 User account Pia4901677 (Talk | contribs) was created
- 19:13, 4 April 2014 User account Cookingclass844 (Talk | contribs) was created
- 19:10, 4 April 2014 User account Step7rest (Talk | contribs) was created
- 18:55, 4 April 2014 User account Jurandb105 (Talk | contribs) was created
- 18:50, 4 April 2014 User account Vasiliouh (Talk | contribs) was created
- 18:50, 4 April 2014 User account BrooksMilligan (Talk | contribs) was created
- 18:36, 4 April 2014 User account Imislawavi7287341 (Talk | contribs) was created
- 18:26, 4 April 2014 User account Pianorental824 (Talk | contribs) was created
- 18:23, 4 April 2014 User account Minigniew007827 (Talk | contribs) was created
- 18:13, 4 April 2014 User account Juliab393657 (Talk | contribs) was created
- 18:13, 4 April 2014 User account Ismenah201199 (Talk | contribs) was created
- 18:11, 4 April 2014 User account Wojciechd97729 (Talk | contribs) was created
- 17:57, 4 April 2014 User account Ludwikal6854897 (Talk | contribs) was created
- 17:50, 4 April 2014 User account Sedziwuj62186 (Talk | contribs) was created
- 17:36, 4 April 2014 User account Dogtrainer266 (Talk | contribs) was created
- 17:32, 4 April 2014 User account Dziadumila410 (Talk | contribs) was created
- 17:23, 4 April 2014 User account Narcyzayta62621 (Talk | contribs) was created
- 17:19, 4 April 2014 User account Flawiainn48427 (Talk | contribs) was created
- 17:18, 4 April 2014 User account Janislawxdqo733710 (Talk | contribs) was created
- 17:01, 4 April 2014 User account Izbylutlyq3463225 (Talk | contribs) was created
- 16:56, 4 April 2014 User account Ciechomirp47509 (Talk | contribs) was created
- 16:47, 4 April 2014 User account Wielislawar711687 (Talk | contribs) was created
- 16:40, 4 April 2014 User account SterlinGQM (Talk | contribs) was created
- 16:33, 4 April 2014 User account MickeyBurton (Talk | contribs) was created
- 16:30, 4 April 2014 User account Achillesm961277 (Talk | contribs) was created
- 16:17, 4 April 2014 User account Dobiegniewajs0350849 (Talk | contribs) was created
- 15:27, 29 October 2013 Olivier Laurent (Talk | contribs) marked revision 616 of page Provable formulas patrolled
- 23:17, 28 October 2013 Olivier Laurent (Talk | contribs) marked revision 615 of page Fragment patrolled
- 23:01, 28 October 2013 Olivier Laurent (Talk | contribs) marked revision 614 of page Regular formula patrolled
- 22:31, 28 October 2013 Olivier Laurent (Talk | contribs) marked revision 613 of page Co-regular formula patrolled
- 22:24, 28 October 2013 Olivier Laurent (Talk | contribs) marked revision 612 of page Additive cut rule patrolled
- 21:31, 28 October 2013 Olivier Laurent (Talk | contribs) marked revision 611 of page Provable formulas patrolled
- 21:30, 28 October 2013 Olivier Laurent (Talk | contribs) marked revision 610 of page Provable formulas patrolled
- 20:36, 28 October 2013 Olivier Laurent (Talk | contribs) marked revision 609 of page Provable formulas patrolled
- 20:35, 28 October 2013 Olivier Laurent (Talk | contribs) marked revision 608 of page Provable formulas patrolled
- 20:25, 28 October 2013 Olivier Laurent (Talk | contribs) marked revision 607 of page Provable formulas patrolled
- 20:22, 28 October 2013 Olivier Laurent (Talk | contribs) marked revision 606 of page Provable formulas patrolled
- 20:21, 28 October 2013 Olivier Laurent (Talk | contribs) marked revision 605 of page Provable formulas patrolled
- 20:18, 28 October 2013 Olivier Laurent (Talk | contribs) marked revision 604 of page Provable formulas patrolled
- 20:15, 28 October 2013 Olivier Laurent (Talk | contribs) marked revision 603 of page Provable formulas patrolled
- 20:11, 28 October 2013 Olivier Laurent (Talk | contribs) marked revision 602 of page Provable formulas patrolled
- 20:06, 28 October 2013 Olivier Laurent (Talk | contribs) marked revision 601 of page Provable formulas patrolled
- 19:55, 28 October 2013 Olivier Laurent (Talk | contribs) marked revision 600 of page Provable formulas patrolled
- 19:50, 28 October 2013 Olivier Laurent (Talk | contribs) marked revision 599 of page Negative formula patrolled
- 19:49, 28 October 2013 Olivier Laurent (Talk | contribs) marked revision 598 of page Positive formula patrolled
- 19:43, 28 October 2013 Olivier Laurent (Talk | contribs) marked revision 597 of page Positive formula patrolled
- 17:02, 28 October 2013 Olivier Laurent (Talk | contribs) marked revision 596 of page Provable formulas patrolled
- 16:57, 28 October 2013 Olivier Laurent (Talk | contribs) marked revision 595 of page List of equivalences patrolled
- 16:55, 28 October 2013 Olivier Laurent (Talk | contribs) marked revision 594 of page Provable formulas patrolled
- 16:46, 28 October 2013 Olivier Laurent (Talk | contribs) marked revision 593 of page Sequent calculus patrolled
- 16:43, 28 October 2013 Olivier Laurent (Talk | contribs) marked revision 592 of page List of equivalences patrolled
- 23:43, 27 October 2013 Olivier Laurent (Talk | contribs) marked revision 591 of page List of isomorphisms patrolled
- 15:59, 27 October 2013 Olivier Laurent (Talk | contribs) marked revision 590 of page Mix patrolled
- 15:51, 27 June 2013 Olivier Laurent (Talk | contribs) marked revision 589 of page LLWiki LaTeX Style patrolled
- 11:28, 2 May 2013 Olivier Laurent (Talk | contribs) marked revision 586 of page Light linear logics patrolled
- 22:09, 25 April 2013 Olivier Laurent (Talk | contribs) marked revision 585 of page Provable formulas patrolled
- 22:09, 25 April 2013 Olivier Laurent (Talk | contribs) marked revision 584 of page Provable formulas patrolled
- 22:05, 25 April 2013 Olivier Laurent (Talk | contribs) marked revision 583 of page Provable formulas patrolled
- 22:01, 25 April 2013 Olivier Laurent (Talk | contribs) marked revision 582 of page Talk:Sequent calculus patrolled
- 21:59, 25 April 2013 Olivier Laurent (Talk | contribs) marked revision 581 of page Talk:Semantics patrolled
- 21:58, 25 April 2013 Olivier Laurent (Talk | contribs) marked revision 580 of page Semantics patrolled
- 21:56, 25 April 2013 Olivier Laurent (Talk | contribs) marked revision 579 of page Provable formulas patrolled
- 21:51, 25 April 2013 Olivier Laurent (Talk | contribs) marked revision 578 of page Semantics patrolled
- 21:48, 25 April 2013 Olivier Laurent (Talk | contribs) marked revision 577 of page List of isomorphisms patrolled
- 21:38, 25 April 2013 Olivier Laurent (Talk | contribs) marked revision 576 of page Isomorphism patrolled
- 21:34, 25 April 2013 Olivier Laurent (Talk | contribs) marked revision 575 of page Isomorphism patrolled
- 13:16, 1 September 2012 Olivier Laurent (Talk | contribs) marked revision 565 of page Provable formulas patrolled
- 23:50, 31 August 2012 Emmanuel Beffara (Talk | contribs) marked revision 563 of page Reversibility and focalization patrolled
- 23:27, 31 August 2012 Emmanuel Beffara (Talk | contribs) marked revision 562 of page Reversibility and focalization patrolled
- 23:21, 31 August 2012 Emmanuel Beffara (Talk | contribs) marked revision 561 of page Sequent calculus patrolled
- 23:10, 31 August 2012 Emmanuel Beffara (Talk | contribs) marked revision 560 of page Reversibility and focalization patrolled
- 17:24, 31 August 2012 Olivier Laurent (Talk | contribs) marked revision 559 of page Proof-nets patrolled
- 17:21, 31 August 2012 Olivier Laurent (Talk | contribs) marked revision 558 of page Non provable formulas patrolled
- 17:13, 31 August 2012 Olivier Laurent (Talk | contribs) marked revision 557 of page LLWiki LaTeX Style patrolled
- 00:18, 30 August 2012 User account Toto (Talk | contribs) was created
- 00:11, 24 July 2012 User account 3.143.142.112 (Talk) was created
- 00:05, 24 July 2012 Olivier Laurent (Talk | contribs) marked revision 553 of page MediaWiki:Signupend patrolled
- 23:35, 23 July 2012 User account 3.143.142.112 (Talk) was created
- 20:11, 23 July 2012 User account 3.143.142.112 (Talk) was created
- 19:02, 23 July 2012 User account 3.143.142.112 (Talk) was created
- 17:11, 23 July 2012 User account 3.143.142.112 (Talk) was created
- 16:44, 23 July 2012 User account 3.143.142.112 (Talk) was created
- 16:30, 23 July 2012 User account 3.143.142.112 (Talk) was created
- 05:26, 23 July 2012 User account 3.143.142.112 (Talk) was created
- 01:04, 23 July 2012 User account 3.143.142.112 (Talk) was created
- 22:58, 22 July 2012 User account 3.143.142.112 (Talk) was created
- 22:33, 22 July 2012 User account 3.143.142.112 (Talk) was created
- 21:48, 22 July 2012 User account 3.143.142.112 (Talk) was created
- 20:02, 22 July 2012 User account 3.143.142.112 (Talk) was created
- 19:55, 22 July 2012 User account 3.143.142.112 (Talk) was created
- 16:16, 22 July 2012 User account 3.143.142.112 (Talk) was created
- 15:15, 22 July 2012 User account 3.143.142.112 (Talk) was created
- 14:12, 22 July 2012 User account 3.143.142.112 (Talk) was created
- 12:00, 22 July 2012 User account 3.143.142.112 (Talk) was created
- 06:38, 22 July 2012 User account 3.143.142.112 (Talk) was created
- 04:14, 22 July 2012 User account 3.143.142.112 (Talk) was created
- 04:00, 22 July 2012 User account 3.143.142.112 (Talk) was created
- 01:41, 22 July 2012 User account 3.143.142.112 (Talk) was created
- 21:00, 21 July 2012 User account 3.143.142.112 (Talk) was created
- 10:30, 21 July 2012 User account 3.143.142.112 (Talk) was created
- 08:40, 21 July 2012 User account 3.143.142.112 (Talk) was created
- 08:25, 21 July 2012 User account 3.143.142.112 (Talk) was created
- 03:18, 21 July 2012 User account 3.143.142.112 (Talk) was created
- 22:40, 20 July 2012 User account 3.143.142.112 (Talk) was created
- 07:52, 20 July 2012 User account 3.143.142.112 (Talk) was created
- 06:45, 20 July 2012 User account 3.143.142.112 (Talk) was created
- 02:26, 20 July 2012 User account 3.143.142.112 (Talk) was created
- 00:53, 20 July 2012 User account 3.143.142.112 (Talk) was created
- 21:46, 19 July 2012 User account 3.143.142.112 (Talk) was created
- 17:25, 19 July 2012 User account 3.143.142.112 (Talk) was created
- 16:01, 19 July 2012 User account 3.143.142.112 (Talk) was created
- 08:13, 19 July 2012 User account 3.143.142.112 (Talk) was created
- 09:10, 18 July 2012 User account 3.143.142.112 (Talk) was created
- 08:42, 18 July 2012 User account 3.143.142.112 (Talk) was created
- 03:46, 18 July 2012 User account 3.143.142.112 (Talk) was created
- 21:09, 17 July 2012 User account 3.143.142.112 (Talk) was created
- 20:33, 17 July 2012 User account 3.143.142.112 (Talk) was created
- 14:30, 17 July 2012 User account 3.143.142.112 (Talk) was created
- 09:41, 17 July 2012 User account 3.143.142.112 (Talk) was created
- 02:52, 17 July 2012 User account 3.143.142.112 (Talk) was created
- 23:27, 16 July 2012 User account 3.143.142.112 (Talk) was created
- 23:15, 16 July 2012 User account 3.143.142.112 (Talk) was created
- 12:16, 16 July 2012 User account 3.143.142.112 (Talk) was created
- 10:42, 16 July 2012 User account 3.143.142.112 (Talk) was created
- 02:27, 16 July 2012 User account 3.143.142.112 (Talk) was created
- 07:18, 15 July 2012 User account 3.143.142.112 (Talk) was created
- 07:14, 15 July 2012 User account 3.143.142.112 (Talk) was created
- 06:28, 15 July 2012 User account 3.143.142.112 (Talk) was created
- 06:25, 15 July 2012 User account 3.143.142.112 (Talk) was created
- 04:11, 15 July 2012 User account 3.143.142.112 (Talk) was created
- 03:04, 15 July 2012 User account 3.143.142.112 (Talk) was created
- 03:02, 15 July 2012 User account 3.143.142.112 (Talk) was created
- 01:49, 15 July 2012 User account 3.143.142.112 (Talk) was created
- 01:12, 15 July 2012 User account 3.143.142.112 (Talk) was created
- 21:31, 12 July 2012 User account 3.143.142.112 (Talk) was created
- 08:13, 12 July 2012 User account 3.143.142.112 (Talk) was created
- 04:33, 11 July 2012 User account 3.143.142.112 (Talk) was created
- 11:17, 10 July 2012 User account 3.143.142.112 (Talk) was created
- 07:59, 10 July 2012 User account 3.143.142.112 (Talk) was created
- 10:23, 9 July 2012 User account 3.143.142.112 (Talk) was created
- 20:37, 8 July 2012 User account 3.143.142.112 (Talk) was created
- 11:39, 8 July 2012 User account 3.143.142.112 (Talk) was created
- 10:34, 8 July 2012 User account 3.143.142.112 (Talk) was created
- 18:28, 7 July 2012 User account 3.143.142.112 (Talk) was created
- 14:50, 7 July 2012 User account 3.143.142.112 (Talk) was created
- 09:58, 6 July 2012 User account 3.143.142.112 (Talk) was created
- 22:12, 5 July 2012 User account 3.143.142.112 (Talk) was created
- 17:30, 4 July 2012 User account 3.143.142.112 (Talk) was created
- 17:03, 4 July 2012 User account 3.143.142.112 (Talk) was created
- 08:52, 4 July 2012 User account 3.143.142.112 (Talk) was created
- 02:10, 4 July 2012 User account 3.143.142.112 (Talk) was created
- 12:10, 2 July 2012 User account 3.143.142.112 (Talk) was created
- 10:20, 30 June 2012 User account 3.143.142.112 (Talk) was created
- 20:03, 29 June 2012 User account 3.143.142.112 (Talk) was created
- 14:50, 29 June 2012 User account 3.143.142.112 (Talk) was created
- 05:56, 29 June 2012 User account 3.143.142.112 (Talk) was created
- 05:40, 28 June 2012 User account 3.143.142.112 (Talk) was created
- 13:57, 27 June 2012 User account 3.143.142.112 (Talk) was created
- 13:22, 27 June 2012 User account 3.143.142.112 (Talk) was created
- 11:22, 27 June 2012 User account 3.143.142.112 (Talk) was created
- 03:24, 27 June 2012 User account 3.143.142.112 (Talk) was created
- 12:56, 25 June 2012 User account 3.143.142.112 (Talk) was created
- 08:14, 24 June 2012 User account 3.143.142.112 (Talk) was created
- 17:02, 22 June 2012 User account 3.143.142.112 (Talk) was created
- 14:18, 20 June 2012 User account 3.143.142.112 (Talk) was created
- 11:37, 20 June 2012 User account 3.143.142.112 (Talk) was created
- 15:31, 19 June 2012 User account 3.143.142.112 (Talk) was created
- 13:09, 19 June 2012 User account 3.143.142.112 (Talk) was created
- 12:36, 17 June 2012 User account 3.143.142.112 (Talk) was created
- 12:11, 17 June 2012 User account 3.143.142.112 (Talk) was created
- 00:22, 17 June 2012 User account 3.143.142.112 (Talk) was created
- 04:24, 15 June 2012 User account 3.143.142.112 (Talk) was created
- 04:47, 14 June 2012 User account 3.143.142.112 (Talk) was created
- 16:24, 13 June 2012 User account 3.143.142.112 (Talk) was created
- 23:43, 12 June 2012 User account 3.143.142.112 (Talk) was created
- 13:55, 11 June 2012 User account 3.143.142.112 (Talk) was created
- 05:06, 11 June 2012 User account 3.143.142.112 (Talk) was created
- 12:32, 10 June 2012 User account 3.143.142.112 (Talk) was created
- 12:11, 10 June 2012 User account 3.143.142.112 (Talk) was created
- 19:49, 9 June 2012 User account 3.143.142.112 (Talk) was created
- 19:33, 8 June 2012 User account 3.143.142.112 (Talk) was created
- 18:16, 7 June 2012 User account 3.143.142.112 (Talk) was created
- 07:34, 7 June 2012 User account 3.143.142.112 (Talk) was created
- 01:16, 7 June 2012 User account 3.143.142.112 (Talk) was created
- 23:52, 6 June 2012 User account 3.143.142.112 (Talk) was created
- 22:43, 6 June 2012 User account 3.143.142.112 (Talk) was created
- 21:39, 6 June 2012 User account 3.143.142.112 (Talk) was created
- 19:55, 6 June 2012 User account 3.143.142.112 (Talk) was created
- 15:03, 3 June 2012 User account 3.143.142.112 (Talk) was created
- 13:43, 3 June 2012 User account 3.143.142.112 (Talk) was created
- 16:37, 1 June 2012 User account 3.143.142.112 (Talk) was created
- 13:08, 28 May 2012 User account 3.143.142.112 (Talk) was created
- 05:03, 28 May 2012 User account 3.143.142.112 (Talk) was created
- 03:10, 28 May 2012 User account 3.143.142.112 (Talk) was created
- 17:07, 25 May 2012 User account 3.143.142.112 (Talk) was created
- 07:21, 24 May 2012 User account 3.143.142.112 (Talk) was created
- 03:27, 22 May 2012 User account 3.143.142.112 (Talk) was created
- 21:27, 21 May 2012 User account 3.143.142.112 (Talk) was created
- 10:50, 18 May 2012 User account 3.143.142.112 (Talk) was created
- 20:46, 14 May 2012 User account 3.143.142.112 (Talk) was created
- 12:45, 12 May 2012 User account 3.143.142.112 (Talk) was created
- 05:47, 9 May 2012 User account 3.143.142.112 (Talk) was created
- 00:12, 9 May 2012 User account 3.143.142.112 (Talk) was created
- 10:40, 7 May 2012 User account 3.143.142.112 (Talk) was created
- 19:24, 4 May 2012 User account 3.143.142.112 (Talk) was created
- 12:20, 4 May 2012 User account 3.143.142.112 (Talk) was created
- 05:49, 2 May 2012 User account 3.143.142.112 (Talk) was created
- 03:54, 2 May 2012 User account 3.143.142.112 (Talk) was created
- 13:23, 28 April 2012 User account 3.143.142.112 (Talk) was created
- 09:56, 28 April 2012 User account 3.143.142.112 (Talk) was created
- 07:17, 28 April 2012 User account 3.143.142.112 (Talk) was created
- 02:00, 27 April 2012 User account 3.143.142.112 (Talk) was created
- 02:04, 26 April 2012 User account 3.143.142.112 (Talk) was created
- 02:04, 25 April 2012 User account 3.143.142.112 (Talk) was created
- 10:26, 23 April 2012 User account 3.143.142.112 (Talk) was created
- 21:52, 22 April 2012 Olivier Laurent (Talk | contribs) marked revision 552 of page Talk:System L patrolled
- 14:50, 20 April 2012 User account 3.143.142.112 (Talk) was created
- 02:33, 20 April 2012 User account 3.143.142.112 (Talk) was created
- 20:49, 19 April 2012 Olivier Laurent (Talk | contribs) marked revision 549 of page Non provable formulas patrolled
- 20:46, 19 April 2012 Olivier Laurent (Talk | contribs) marked revision 548 of page Provable formulas patrolled
- 19:42, 19 April 2012 Olivier Laurent (Talk | contribs) marked revision 547 of page Provable formulas patrolled
- 19:35, 19 April 2012 Olivier Laurent (Talk | contribs) marked revision 546 of page Talk:Sequent calculus patrolled
- 16:30, 12 April 2012 User account 3.143.142.112 (Talk) was created
- 12:15, 12 April 2012 User account 3.143.142.112 (Talk) was created
- 21:13, 11 April 2012 User account 3.143.142.112 (Talk) was created
- 13:41, 11 April 2012 User account 3.143.142.112 (Talk) was created
- 02:26, 8 April 2012 User account 3.143.142.112 (Talk) was created
- 03:13, 3 April 2012 User account 3.143.142.112 (Talk) was created
- 09:03, 2 April 2012 User account 3.143.142.112 (Talk) was created
- 00:49, 2 April 2012 User account 3.143.142.112 (Talk) was created
- 00:06, 2 April 2012 User account 3.143.142.112 (Talk) was created
- 22:30, 1 April 2012 User account 3.143.142.112 (Talk) was created
- 21:00, 1 April 2012 User account 3.143.142.112 (Talk) was created
- 03:39, 30 March 2012 User account Sjbreiner (Talk | contribs) was created
- 15:05, 29 March 2012 User account Jean-Baptiste Vienney (Talk | contribs) was created
- 14:06, 29 March 2012 User account Remi Nollet (Talk | contribs) was created
- 12:00, 29 March 2012 User account Hugo Herbelin (Talk | contribs) was created
- 11:08, 28 March 2012 User account Rémi Nollet (Talk | contribs) was created
- 05:20, 27 March 2012 User account Test Olivier (Talk | contribs) was created
- 01:37, 25 March 2012 User account Rnollet (Talk | contribs) was created
- 16:50, 21 March 2012 User account Giulio Guerrieri (Talk | contribs) was created
- 13:13, 20 March 2012 User account Philipp Schuster (Talk | contribs) was created
- 13:06, 20 March 2012 User account Test OL (Talk | contribs) was created
- 09:13, 22 October 2011 Olivier Laurent (Talk | contribs) marked revision 543 of page Talk:Phase semantics patrolled
- 09:12, 22 October 2011 Olivier Laurent (Talk | contribs) marked revision 542 of page Talk:Phase semantics patrolled
- 09:09, 22 October 2011 Olivier Laurent (Talk | contribs) marked revision 541 of page Talk:Phase semantics patrolled
- 09:06, 22 October 2011 Olivier Laurent (Talk | contribs) marked revision 540 of page Phase semantics patrolled
- 09:05, 22 October 2011 Olivier Laurent (Talk | contribs) marked revision 539 of page Phase semantics patrolled
- 11:13, 15 October 2011 Laurent Regnier (Talk | contribs) marked revision 535 of page Coherent semantics patrolled
- 11:00, 15 October 2011 Laurent Regnier (Talk | contribs) marked revision 534 of page Coherent semantics patrolled
- 10:28, 5 October 2011 Olivier Laurent (Talk | contribs) marked revision 533 of page Polarized linear logic patrolled
- 10:25, 5 October 2011 Olivier Laurent (Talk | contribs) marked revision 532 of page Talk:Polarized linear logic patrolled
- 10:24, 5 October 2011 Olivier Laurent (Talk | contribs) marked revision 531 of page Talk:Polarized linear logic patrolled
- 10:16, 5 October 2011 Olivier Laurent (Talk | contribs) marked revision 530 of page Polarized linear logic patrolled
- 14:52, 3 October 2011 Olivier Laurent (Talk | contribs) marked revision 522 of page Talk:Orthogonality relation patrolled
- 15:21, 30 September 2011 Olivier Laurent (Talk | contribs) changed group membership for User:Pierre-Marie Pédrot from (none) to confirmed (Confirmed user)
- 14:37, 15 March 2011 Olivier Laurent (Talk | contribs) marked revision 516 of page Talk:Coherent semantics patrolled
- 15:49, 14 March 2011 Olivier Laurent (Talk | contribs) marked revision 515 of page Coherent semantics patrolled
- 12:44, 7 March 2011 Olivier Laurent (Talk | contribs) changed group membership for User:Martin Bodin from (none) to confirmed (Confirmed new user)
- 17:09, 21 February 2011 Olivier Laurent (Talk | contribs) marked revision 514 of page Sequent calculus patrolled
- 17:03, 21 February 2011 Olivier Laurent (Talk | contribs) marked revision 513 of page Lattice of exponential modalities patrolled
- 16:19, 21 February 2011 Olivier Laurent (Talk | contribs) marked revision 512 of page Lattice of exponential modalities patrolled
- 13:41, 21 February 2011 Olivier Laurent (Talk | contribs) marked revision 511 of page Lattice of exponential modalities patrolled
- 13:39, 21 February 2011 Olivier Laurent (Talk | contribs) marked revision 510 of page Lattice of exponential modalities patrolled
- 14:58, 17 February 2011 Olivier Laurent (Talk | contribs) marked revision 509 of page MediaWiki:Signupend patrolled
- 14:55, 17 February 2011 Olivier Laurent (Talk | contribs) marked revision 508 of page MediaWiki:Signupend patrolled
- 14:48, 17 February 2011 Olivier Laurent (Talk | contribs) marked revision 507 of page MediaWiki:Signupend patrolled
- 14:47, 17 February 2011 Olivier Laurent (Talk | contribs) deleted page MediaWiki:Signupstart (content was: '__NOTOC__ == User account == * Use "FirstName LastName" as Username. * Use a valid e-mail address. == Editing recommendations == Before creati...' (and the only contributor was 'Olivier Laurent'))
- 14:43, 17 February 2011 Olivier Laurent (Talk | contribs) marked revision 506 of page MediaWiki:Signupstart patrolled
- 14:41, 17 February 2011 Olivier Laurent (Talk | contribs) marked revision 505 of page MediaWiki:Signupend patrolled
- 14:38, 17 February 2011 Olivier Laurent (Talk | contribs) marked revision 504 of page MediaWiki:Signupend patrolled
- 13:15, 17 February 2011 Olivier Laurent (Talk | contribs) protected "Terms of use" (Administrative page [edit=sysop:move=sysop]) (hist)
- 13:14, 17 February 2011 Olivier Laurent (Talk | contribs) marked revision 502 of page Terms of use patrolled
- 13:13, 17 February 2011 Olivier Laurent (Talk | contribs) protected "Conditions d'utilisation" (Administrative page [edit=sysop:move=sysop]) (hist)
- 13:13, 17 February 2011 Olivier Laurent (Talk | contribs) marked revision 500 of page Conditions d'utilisation patrolled
- 13:11, 17 February 2011 Olivier Laurent (Talk | contribs) protected "Precedence of French terms" (Administrative page [edit=sysop:move=sysop]) (hist)
- 13:10, 17 February 2011 Olivier Laurent (Talk | contribs) marked revision 498 of page Precedence of French terms patrolled
- 13:09, 17 February 2011 Olivier Laurent (Talk | contribs) protected "Information for contributors" (Administrative page [edit=sysop:move=sysop]) (hist)
- 13:08, 17 February 2011 Olivier Laurent (Talk | contribs) marked revision 496 of page Information for contributors patrolled
- 20:17, 15 February 2011 Olivier Laurent (Talk | contribs) protected "Editorial board" (Administrative page [edit=sysop:move=sysop]) (hist)
- 20:16, 15 February 2011 Olivier Laurent (Talk | contribs) marked revision 494 of page Editorial board patrolled
- 11:41, 15 February 2011 Olivier Laurent (Talk | contribs) changed group membership for User:Damiano Mazza from confirmed to confirmed and administrator (Entering the editorial committee)
- 16:30, 9 December 2010 Emmanuel Beffara (Talk | contribs) marked revision 488 of page Sequent calculus patrolled
- 13:29, 17 November 2010 Laurent Regnier (Talk | contribs) marked revision 487 of page GoI for MELL: exponentials patrolled
- 12:55, 17 November 2010 Laurent Regnier (Talk | contribs) marked revision 486 of page GoI for MELL: exponentials patrolled
- 20:26, 5 June 2010 Laurent Regnier (Talk | contribs) marked revision 485 of page GoI for MELL: exponentials patrolled
- 12:20, 5 June 2010 Laurent Regnier (Talk | contribs) marked revision 484 of page GoI for MELL: exponentials patrolled
- 10:28, 25 May 2010 Laurent Regnier (Talk | contribs) marked revision 483 of page GoI for MELL: exponentials patrolled
- 09:53, 25 May 2010 Laurent Regnier (Talk | contribs) marked revision 482 of page Geometry of interaction patrolled
- 13:58, 15 May 2010 Laurent Regnier (Talk | contribs) marked revision 481 of page Geometry of interaction patrolled
- 13:04, 15 May 2010 Laurent Regnier (Talk | contribs) marked revision 480 of page Geometry of interaction patrolled
- 13:04, 15 May 2010 Laurent Regnier (Talk | contribs) marked revision 479 of page GoI for MELL: the *-autonomous structure patrolled
- 13:03, 15 May 2010 Laurent Regnier (Talk | contribs) marked revision 478 of page GoI for MELL: partial isometries patrolled
- 12:13, 15 May 2010 Laurent Regnier (Talk | contribs) marked revision 477 of page Geometry of interaction patrolled
- 12:07, 15 May 2010 Laurent Regnier (Talk | contribs) marked revision 476 of page Geometry of interaction patrolled
- 12:03, 15 May 2010 Laurent Regnier (Talk | contribs) marked revision 475 of page Geometry of interaction patrolled
- 17:24, 14 May 2010 Laurent Regnier (Talk | contribs) marked revision 474 of page Geometry of interaction patrolled
- 17:14, 14 May 2010 Laurent Regnier (Talk | contribs) marked revision 473 of page Geometry of interaction patrolled
- 08:25, 30 April 2010 Laurent Regnier (Talk | contribs) marked revision 472 of page Geometry of interaction patrolled
- 12:19, 29 April 2010 Emmanuel Beffara (Talk | contribs) marked revision 471 of page Geometry of interaction patrolled
- 12:16, 29 April 2010 Emmanuel Beffara (Talk | contribs) marked revision 470 of page Geometry of interaction patrolled
- 12:15, 29 April 2010 Emmanuel Beffara (Talk | contribs) marked revision 469 of page Geometry of interaction patrolled
- 09:45, 29 April 2010 Laurent Regnier (Talk | contribs) marked revision 468 of page Geometry of interaction patrolled
- 08:56, 29 April 2010 Laurent Regnier (Talk | contribs) marked revision 467 of page Template:Remark patrolled
- 23:28, 28 April 2010 Laurent Regnier (Talk | contribs) marked revision 466 of page Geometry of interaction patrolled
- 13:35, 26 April 2010 Olivier Laurent (Talk | contribs) marked revision 465 of page Geometry of interaction patrolled
- 12:37, 26 April 2010 Laurent Regnier (Talk | contribs) marked revision 464 of page Geometry of interaction patrolled
- 18:36, 23 April 2010 Laurent Regnier (Talk | contribs) marked revision 463 of page Geometry of interaction patrolled
- 15:41, 21 April 2010 Olivier Laurent (Talk | contribs) marked revision 462 of page LLWiki LaTeX Style patrolled
- 15:31, 21 April 2010 Olivier Laurent (Talk | contribs) marked revision 461 of page Geometry of interaction patrolled
- 08:22, 21 April 2010 Laurent Regnier (Talk | contribs) marked revision 460 of page Geometry of interaction patrolled
- 18:18, 20 April 2010 Laurent Regnier (Talk | contribs) marked revision 459 of page Geometry of interaction patrolled
- 17:54, 20 April 2010 Laurent Regnier (Talk | contribs) marked revision 458 of page Geometry of interaction patrolled
- 14:36, 20 April 2010 Olivier Laurent (Talk | contribs) marked revision 457 of page Geometry of interaction patrolled
- 12:31, 20 April 2010 Laurent Regnier (Talk | contribs) marked revision 456 of page Geometry of interaction patrolled
- 11:15, 20 April 2010 Laurent Regnier (Talk | contribs) marked revision 455 of page Geometry of interaction patrolled
- 11:06, 20 April 2010 Laurent Regnier (Talk | contribs) marked revision 454 of page Geometry of interaction patrolled
- 10:50, 20 April 2010 Laurent Regnier (Talk | contribs) marked revision 453 of page Geometry of interaction patrolled
- 19:01, 18 April 2010 Laurent Regnier (Talk | contribs) marked revision 452 of page Geometry of interaction patrolled
- 13:11, 18 April 2010 Laurent Regnier (Talk | contribs) marked revision 451 of page Geometry of interaction patrolled
- 00:18, 14 April 2010 Laurent Regnier (Talk | contribs) marked revision 450 of page Geometry of interaction patrolled
- 20:17, 13 April 2010 Laurent Regnier (Talk | contribs) marked revision 449 of page Geometry of interaction patrolled
- 20:12, 13 April 2010 Laurent Regnier (Talk | contribs) marked revision 448 of page Geometry of interaction patrolled
- 18:59, 13 April 2010 Laurent Regnier (Talk | contribs) marked revision 447 of page Geometry of interaction patrolled
- 23:26, 8 April 2010 Laurent Regnier (Talk | contribs) marked revision 446 of page Geometry of interaction patrolled
- 12:41, 8 April 2010 Laurent Regnier (Talk | contribs) marked revision 445 of page Geometry of interaction patrolled
- 16:48, 5 April 2010 Laurent Regnier (Talk | contribs) marked revision 444 of page Geometry of interaction patrolled
- 10:12, 31 March 2010 Laurent Regnier (Talk | contribs) marked revision 443 of page Geometry of interaction patrolled
- 14:43, 29 March 2010 Laurent Regnier (Talk | contribs) marked revision 442 of page Geometry of interaction patrolled
- 16:36, 28 March 2010 Laurent Regnier (Talk | contribs) marked revision 441 of page Geometry of interaction patrolled
- 15:32, 28 March 2010 Laurent Regnier (Talk | contribs) marked revision 440 of page Geometry of interaction patrolled
- 15:10, 28 March 2010 Laurent Regnier (Talk | contribs) marked revision 439 of page Geometry of interaction patrolled
- 12:05, 28 March 2010 Laurent Regnier (Talk | contribs) marked revision 438 of page Geometry of interaction patrolled
- 01:07, 28 March 2010 Laurent Regnier (Talk | contribs) marked revision 437 of page Geometry of interaction patrolled
- 22:03, 27 March 2010 Laurent Regnier (Talk | contribs) marked revision 436 of page Geometry of interaction patrolled
- 13:38, 16 March 2010 Laurent Regnier (Talk | contribs) marked revision 435 of page Geometry of interaction patrolled
- 13:34, 16 March 2010 Laurent Regnier (Talk | contribs) marked revision 434 of page Geometry of interaction patrolled
- 10:49, 19 October 2009 Olivier Laurent (Talk | contribs) marked revision 432 of page Talk:Isomorphism patrolled
- 10:48, 19 October 2009 Olivier Laurent (Talk | contribs) marked revision 431 of page Notations patrolled
- 10:45, 19 October 2009 Olivier Laurent (Talk | contribs) marked revision 430 of page Semantics patrolled
- 10:42, 19 October 2009 Olivier Laurent (Talk | contribs) marked revision 429 of page Talk:Semantics patrolled
- 23:28, 16 October 2009 Olivier Laurent (Talk | contribs) marked revision 428 of page Lattice of exponential modalities patrolled
- 22:48, 12 October 2009 Olivier Laurent (Talk | contribs) marked revision 422 of page Coherent spaces patrolled
- 22:47, 12 October 2009 Olivier Laurent (Talk | contribs) marked revision 421 of page Notations patrolled
- 15:18, 12 October 2009 Olivier Laurent (Talk | contribs) marked revision 420 of page MediaWiki:Signupend patrolled
- 23:27, 11 October 2009 Olivier Laurent (Talk | contribs) marked revision 417 of page Todo List patrolled
- 23:37, 5 October 2009 Olivier Laurent (Talk | contribs) marked revision 416 of page Lattice of exponential modalities patrolled
- 23:11, 5 October 2009 Olivier Laurent (Talk | contribs) marked revision 415 of page Translations of classical logic patrolled
- 22:25, 5 October 2009 Olivier Laurent (Talk | contribs) marked revision 414 of page Translations of intuitionistic logic patrolled
- 22:08, 5 October 2009 Olivier Laurent (Talk | contribs) marked revision 413 of page Translations of intuitionistic logic patrolled
- 22:07, 5 October 2009 Olivier Laurent (Talk | contribs) marked revision 412 of page Translations of intuitionistic logic patrolled
- 22:05, 5 October 2009 Olivier Laurent (Talk | contribs) marked revision 411 of page Translations of intuitionistic logic patrolled
- 23:04, 21 September 2009 Olivier Laurent (Talk | contribs) marked revision 410 of page Translations of classical logic patrolled
- 23:28, 16 July 2009 Olivier Laurent (Talk | contribs) marked revision 409 of page Positive formula patrolled
- 10:29, 12 June 2009 Olivier Laurent (Talk | contribs) marked revision 398 of page Main Page patrolled
- 19:25, 10 June 2009 Olivier Laurent (Talk | contribs) marked revision 394 of page Recommendations patrolled
- 19:24, 10 June 2009 Olivier Laurent (Talk | contribs) marked revision 393 of page LLWiki LaTeX Style patrolled
- 19:23, 10 June 2009 Olivier Laurent (Talk | contribs) marked revision 392 of page LLWiki LaTeX Style patrolled
- 23:48, 25 May 2009 Olivier Laurent (Talk | contribs) marked revision 388 of page Finiteness semantics patrolled
- 23:43, 25 May 2009 Olivier Laurent (Talk | contribs) marked revision 387 of page Finiteness semantics patrolled
- 22:42, 24 May 2009 Olivier Laurent (Talk | contribs) marked revision 386 of page Relational semantics patrolled
- 13:27, 11 May 2009 Olivier Laurent (Talk | contribs) changed group membership for User:Christine Tasson from (none) to confirmed (Confirmed user)
- 00:27, 4 April 2009 Olivier Laurent (Talk | contribs) changed group membership for User:Marc de Falco from (none) to confirmed (Confirmed user)
- 15:59, 2 April 2009 Laurent Regnier (Talk | contribs) marked revision 373 of page User:Laurent Regnier patrolled
- 17:47, 28 March 2009 Laurent Regnier (Talk | contribs) marked revision 372 of page Geometry of interaction patrolled
- 00:54, 28 March 2009 Laurent Regnier (Talk | contribs) marked revision 371 of page Geometry of interaction patrolled
- 23:33, 25 March 2009 Laurent Regnier (Talk | contribs) marked revision 370 of page Coherent semantics patrolled
- 00:41, 25 March 2009 Olivier Laurent (Talk | contribs) marked revision 360 of page Translations of intuitionistic logic patrolled
- 00:40, 25 March 2009 Olivier Laurent (Talk | contribs) marked revision 359 of page Translations of intuitionistic logic patrolled
- 00:39, 25 March 2009 Olivier Laurent (Talk | contribs) marked revision 358 of page Translations of intuitionistic logic patrolled
- 00:38, 25 March 2009 Olivier Laurent (Talk | contribs) marked revision 357 of page Translations of intuitionistic logic patrolled
- 15:26, 24 March 2009 Olivier Laurent (Talk | contribs) marked revision 336 of page Main Page patrolled
- 22:20, 23 March 2009 Thomas Ehrhard (Talk | contribs) marked revision 328 of page Relational semantics patrolled
- 22:19, 23 March 2009 Thomas Ehrhard (Talk | contribs) marked revision 327 of page Relational semantics patrolled
- 20:32, 23 March 2009 Thomas Ehrhard (Talk | contribs) marked revision 307 of page Relational semantics patrolled
- 20:23, 23 March 2009 Thomas Ehrhard (Talk | contribs) marked revision 301 of page Relational semantics patrolled
- 20:20, 23 March 2009 Thomas Ehrhard (Talk | contribs) marked revision 299 of page Relational semantics patrolled
- 20:16, 23 March 2009 Thomas Ehrhard (Talk | contribs) marked revision 296 of page Relational semantics patrolled
- 20:06, 23 March 2009 Thomas Ehrhard (Talk | contribs) marked revision 294 of page Relational semantics patrolled
- 22:40, 19 March 2009 Olivier Laurent (Talk | contribs) marked revision 282 of page Sequent calculus patrolled
- 22:28, 19 March 2009 Olivier Laurent (Talk | contribs) marked revision 281 of page Talk:Light linear logics patrolled
- 22:22, 19 March 2009 Olivier Laurent (Talk | contribs) marked revision 280 of page Light linear logics patrolled
- 22:19, 19 March 2009 Olivier Laurent (Talk | contribs) marked revision 279 of page Light linear logics patrolled
- 22:16, 19 March 2009 Olivier Laurent (Talk | contribs) marked revision 278 of page Light linear logics patrolled
- 22:14, 19 March 2009 Olivier Laurent (Talk | contribs) marked revision 277 of page Main Page patrolled
- 22:05, 19 March 2009 Olivier Laurent (Talk | contribs) marked revision 276 of page Sequent calculus patrolled
- 21:39, 19 March 2009 Olivier Laurent (Talk | contribs) marked revision 275 of page Sequent calculus patrolled
- 11:48, 17 March 2009 Laurent Regnier (Talk | contribs) marked revision 237 of page Main Page patrolled
- 19:32, 16 March 2009 Thomas Ehrhard (Talk | contribs) marked revision 236 of page Relational semantics patrolled
- 15:23, 16 March 2009 Thomas Ehrhard (Talk | contribs) marked revision 235 of page Relational semantics patrolled
- 15:22, 16 March 2009 Thomas Ehrhard (Talk | contribs) marked revision 234 of page Relational semantics patrolled
- 15:21, 16 March 2009 Thomas Ehrhard (Talk | contribs) marked revision 233 of page Relational semantics patrolled
- 15:16, 16 March 2009 Thomas Ehrhard (Talk | contribs) marked revision 232 of page Relational semantics patrolled
- 15:08, 16 March 2009 Thomas Ehrhard (Talk | contribs) marked revision 231 of page Relational semantics patrolled
- 15:07, 16 March 2009 Thomas Ehrhard (Talk | contribs) marked revision 230 of page Relational semantics patrolled
- 15:06, 16 March 2009 Thomas Ehrhard (Talk | contribs) marked revision 229 of page Relational semantics patrolled
- 07:49, 16 March 2009 Thomas Ehrhard (Talk | contribs) marked revision 228 of page Relational semantics patrolled
- 07:39, 16 March 2009 Thomas Ehrhard (Talk | contribs) marked revision 227 of page Relational semantics patrolled
- 07:35, 16 March 2009 Thomas Ehrhard (Talk | contribs) marked revision 226 of page Relational semantics patrolled
- 12:51, 15 March 2009 Olivier Laurent (Talk | contribs) marked revision 225 of page Semantics patrolled
- 12:39, 15 March 2009 Olivier Laurent (Talk | contribs) marked revision 224 of page Talk:Sequent calculus patrolled
- 22:47, 14 March 2009 Thomas Ehrhard (Talk | contribs) marked revision 223 of page Relational semantics patrolled
- 17:47, 14 March 2009 Olivier Laurent (Talk | contribs) marked revision 222 of page Talk:Sequent calculus patrolled
- 17:46, 14 March 2009 Olivier Laurent (Talk | contribs) marked revision 221 of page Talk:Sequent calculus patrolled
- 17:45, 14 March 2009 Olivier Laurent (Talk | contribs) marked revision 220 of page Talk:Sequent calculus patrolled
- 17:39, 14 March 2009 Olivier Laurent (Talk | contribs) marked revision 219 of page Sequent calculus patrolled
- 16:43, 14 March 2009 Emmanuel Beffara (Talk | contribs) marked revision 218 of page Sequent calculus patrolled
- 15:31, 14 March 2009 Olivier Laurent (Talk | contribs) marked revision 217 of page Talk:Positive formula patrolled
- 15:29, 14 March 2009 Olivier Laurent (Talk | contribs) marked revision 216 of page Talk:Coherent semantics patrolled
- 15:21, 14 March 2009 Olivier Laurent (Talk | contribs) marked revision 215 of page Talk:Coherent semantics patrolled
- 14:10, 14 March 2009 Olivier Laurent (Talk | contribs) marked revision 214 of page Talk:Coherent semantics patrolled
- 13:45, 14 March 2009 Laurent Regnier (Talk | contribs) marked revision 213 of page Coherent semantics patrolled
- 13:43, 14 March 2009 Laurent Regnier (Talk | contribs) marked revision 212 of page Coherent semantics patrolled
- 12:47, 14 March 2009 Laurent Regnier (Talk | contribs) marked revision 211 of page Intuitionistic linear logic patrolled
- 23:33, 12 March 2009 Laurent Regnier (Talk | contribs) marked revision 210 of page Coherent semantics patrolled
- 18:01, 12 March 2009 Emmanuel Beffara (Talk | contribs) marked revision 209 of page Fragment patrolled
- 17:53, 12 March 2009 Emmanuel Beffara (Talk | contribs) marked revision 208 of page Positive formula patrolled
- 01:07, 12 March 2009 Laurent Regnier (Talk | contribs) marked revision 207 of page Coherent semantics patrolled
- 17:46, 10 March 2009 Emmanuel Beffara (Talk | contribs) marked revision 206 of page Template:Proof patrolled
- 17:42, 10 March 2009 Emmanuel Beffara (Talk | contribs) marked revision 205 of page Template:Proof patrolled
- 17:30, 10 March 2009 Emmanuel Beffara (Talk | contribs) marked revision 204 of page Sequent calculus patrolled
- 00:12, 9 March 2009 Olivier Laurent (Talk | contribs) marked revision 203 of page Talk:Positive formula patrolled
- 00:07, 9 March 2009 Olivier Laurent (Talk | contribs) marked revision 202 of page Talk:Coherent semantics patrolled
- 23:26, 8 March 2009 Laurent Regnier (Talk | contribs) marked revision 201 of page Talk:Coherent semantics patrolled
- 23:21, 8 March 2009 Laurent Regnier (Talk | contribs) marked revision 200 of page Semantics patrolled
- 22:40, 8 March 2009 Laurent Regnier (Talk | contribs) marked revision 199 of page Semantics patrolled
- 22:32, 8 March 2009 Laurent Regnier (Talk | contribs) marked revision 198 of page Coherent semantics patrolled
- 22:20, 8 March 2009 Laurent Regnier (Talk | contribs) marked revision 197 of page Main Page patrolled
- 18:03, 6 March 2009 Olivier Laurent (Talk | contribs) marked revision 196 of page Coherent semantics patrolled
- 16:58, 6 March 2009 Olivier Laurent (Talk | contribs) marked revision 195 of page Positive formula patrolled
- 16:46, 6 March 2009 Olivier Laurent (Talk | contribs) marked revision 194 of page Translations of intuitionistic logic patrolled
- 12:42, 6 March 2009 Laurent Regnier (Talk | contribs) marked revision 193 of page Coherent semantics patrolled
- 12:31, 6 March 2009 Laurent Regnier (Talk | contribs) marked revision 192 of page Coherent semantics patrolled
- 12:21, 6 March 2009 Laurent Regnier (Talk | contribs) marked revision 191 of page Coherent semantics patrolled
- 12:15, 6 March 2009 Laurent Regnier (Talk | contribs) marked revision 190 of page Coherent semantics patrolled
- 12:14, 6 March 2009 Laurent Regnier (Talk | contribs) marked revision 189 of page Coherent semantics patrolled
- 12:00, 6 March 2009 Laurent Regnier (Talk | contribs) marked revision 188 of page Coherent semantics patrolled
- 22:21, 5 March 2009 Olivier Laurent (Talk | contribs) marked revision 187 of page Talk:Coherent semantics patrolled
- 19:50, 5 March 2009 Laurent Regnier (Talk | contribs) marked revision 186 of page Coherent semantics patrolled
- 00:01, 5 March 2009 Laurent Regnier (Talk | contribs) marked revision 185 of page Coherent semantics patrolled
- 22:36, 4 March 2009 Laurent Regnier (Talk | contribs) marked revision 184 of page Coherent semantics patrolled
- 22:35, 4 March 2009 Laurent Regnier (Talk | contribs) marked revision 183 of page Coherent semantics patrolled
- 22:32, 4 March 2009 Laurent Regnier (Talk | contribs) marked revision 182 of page Coherent semantics patrolled
- 22:04, 4 March 2009 Laurent Regnier (Talk | contribs) marked revision 181 of page Coherent semantics patrolled
- 00:24, 3 March 2009 Laurent Regnier (Talk | contribs) marked revision 179 of page Coherent semantics patrolled
- 23:57, 2 March 2009 Laurent Regnier (Talk | contribs) marked revision 178 of page Main Page patrolled
- 10:34, 2 March 2009 Laurent Regnier (Talk | contribs) marked revision 177 of page Coherent semantics patrolled
- 00:51, 2 March 2009 Laurent Regnier (Talk | contribs) marked revision 176 of page Coherent semantics patrolled
- 00:58, 1 March 2009 Laurent Regnier (Talk | contribs) marked revision 172 of page Coherent semantics patrolled
- 00:51, 1 March 2009 Laurent Regnier (Talk | contribs) marked revision 171 of page Coherent semantics patrolled
- 00:03, 1 March 2009 Laurent Regnier (Talk | contribs) marked revision 170 of page Coherent semantics patrolled
- 19:08, 25 February 2009 Olivier Laurent (Talk | contribs) changed group membership for User:Damiano Mazza from (none) to confirmed (Confirmed user)
- 17:57, 24 February 2009 Olivier Laurent (Talk | contribs) changed group membership for User:Thomas Ehrhard from (none) to administrator and confirmed (Member of the editorial board)