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 250 | older 250) (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 52.15.137.91 (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 52.15.137.91 (Talk) was created
- 20:11, 23 July 2012 User account 52.15.137.91 (Talk) was created
- 19:02, 23 July 2012 User account 52.15.137.91 (Talk) was created
- 17:11, 23 July 2012 User account 52.15.137.91 (Talk) was created
- 16:44, 23 July 2012 User account 52.15.137.91 (Talk) was created
- 16:30, 23 July 2012 User account 52.15.137.91 (Talk) was created
- 05:26, 23 July 2012 User account 52.15.137.91 (Talk) was created
- 01:04, 23 July 2012 User account 52.15.137.91 (Talk) was created
- 22:58, 22 July 2012 User account 52.15.137.91 (Talk) was created
- 22:33, 22 July 2012 User account 52.15.137.91 (Talk) was created
- 21:48, 22 July 2012 User account 52.15.137.91 (Talk) was created
- 20:02, 22 July 2012 User account 52.15.137.91 (Talk) was created
- 19:55, 22 July 2012 User account 52.15.137.91 (Talk) was created
- 16:16, 22 July 2012 User account 52.15.137.91 (Talk) was created
- 15:15, 22 July 2012 User account 52.15.137.91 (Talk) was created
- 14:12, 22 July 2012 User account 52.15.137.91 (Talk) was created
- 12:00, 22 July 2012 User account 52.15.137.91 (Talk) was created
- 06:38, 22 July 2012 User account 52.15.137.91 (Talk) was created
- 04:14, 22 July 2012 User account 52.15.137.91 (Talk) was created
- 04:00, 22 July 2012 User account 52.15.137.91 (Talk) was created
- 01:41, 22 July 2012 User account 52.15.137.91 (Talk) was created
- 21:00, 21 July 2012 User account 52.15.137.91 (Talk) was created
- 10:30, 21 July 2012 User account 52.15.137.91 (Talk) was created
- 08:40, 21 July 2012 User account 52.15.137.91 (Talk) was created
- 08:25, 21 July 2012 User account 52.15.137.91 (Talk) was created
- 03:18, 21 July 2012 User account 52.15.137.91 (Talk) was created
- 22:40, 20 July 2012 User account 52.15.137.91 (Talk) was created
- 07:52, 20 July 2012 User account 52.15.137.91 (Talk) was created
- 06:45, 20 July 2012 User account 52.15.137.91 (Talk) was created
- 02:26, 20 July 2012 User account 52.15.137.91 (Talk) was created
- 00:53, 20 July 2012 User account 52.15.137.91 (Talk) was created
- 21:46, 19 July 2012 User account 52.15.137.91 (Talk) was created
- 17:25, 19 July 2012 User account 52.15.137.91 (Talk) was created
- 16:01, 19 July 2012 User account 52.15.137.91 (Talk) was created
- 08:13, 19 July 2012 User account 52.15.137.91 (Talk) was created
- 09:10, 18 July 2012 User account 52.15.137.91 (Talk) was created
- 08:42, 18 July 2012 User account 52.15.137.91 (Talk) was created
- 03:46, 18 July 2012 User account 52.15.137.91 (Talk) was created
- 21:09, 17 July 2012 User account 52.15.137.91 (Talk) was created
- 20:33, 17 July 2012 User account 52.15.137.91 (Talk) was created
- 14:30, 17 July 2012 User account 52.15.137.91 (Talk) was created
- 09:41, 17 July 2012 User account 52.15.137.91 (Talk) was created
- 02:52, 17 July 2012 User account 52.15.137.91 (Talk) was created
- 23:27, 16 July 2012 User account 52.15.137.91 (Talk) was created
- 23:15, 16 July 2012 User account 52.15.137.91 (Talk) was created
- 12:16, 16 July 2012 User account 52.15.137.91 (Talk) was created
- 10:42, 16 July 2012 User account 52.15.137.91 (Talk) was created
- 02:27, 16 July 2012 User account 52.15.137.91 (Talk) was created
- 07:18, 15 July 2012 User account 52.15.137.91 (Talk) was created
- 07:14, 15 July 2012 User account 52.15.137.91 (Talk) was created
- 06:28, 15 July 2012 User account 52.15.137.91 (Talk) was created
- 06:25, 15 July 2012 User account 52.15.137.91 (Talk) was created
- 04:11, 15 July 2012 User account 52.15.137.91 (Talk) was created
- 03:04, 15 July 2012 User account 52.15.137.91 (Talk) was created
- 03:02, 15 July 2012 User account 52.15.137.91 (Talk) was created
- 01:49, 15 July 2012 User account 52.15.137.91 (Talk) was created
- 01:12, 15 July 2012 User account 52.15.137.91 (Talk) was created
- 21:31, 12 July 2012 User account 52.15.137.91 (Talk) was created
- 08:13, 12 July 2012 User account 52.15.137.91 (Talk) was created
- 04:33, 11 July 2012 User account 52.15.137.91 (Talk) was created
- 11:17, 10 July 2012 User account 52.15.137.91 (Talk) was created
- 07:59, 10 July 2012 User account 52.15.137.91 (Talk) was created
- 10:23, 9 July 2012 User account 52.15.137.91 (Talk) was created
- 20:37, 8 July 2012 User account 52.15.137.91 (Talk) was created
- 11:39, 8 July 2012 User account 52.15.137.91 (Talk) was created
- 10:34, 8 July 2012 User account 52.15.137.91 (Talk) was created
- 18:28, 7 July 2012 User account 52.15.137.91 (Talk) was created
- 14:50, 7 July 2012 User account 52.15.137.91 (Talk) was created
- 09:58, 6 July 2012 User account 52.15.137.91 (Talk) was created
- 22:12, 5 July 2012 User account 52.15.137.91 (Talk) was created
- 17:30, 4 July 2012 User account 52.15.137.91 (Talk) was created
- 17:03, 4 July 2012 User account 52.15.137.91 (Talk) was created
- 08:52, 4 July 2012 User account 52.15.137.91 (Talk) was created
- 02:10, 4 July 2012 User account 52.15.137.91 (Talk) was created
- 12:10, 2 July 2012 User account 52.15.137.91 (Talk) was created
- 10:20, 30 June 2012 User account 52.15.137.91 (Talk) was created
- 20:03, 29 June 2012 User account 52.15.137.91 (Talk) was created
- 14:50, 29 June 2012 User account 52.15.137.91 (Talk) was created
- 05:56, 29 June 2012 User account 52.15.137.91 (Talk) was created
- 05:40, 28 June 2012 User account 52.15.137.91 (Talk) was created
- 13:57, 27 June 2012 User account 52.15.137.91 (Talk) was created
- 13:22, 27 June 2012 User account 52.15.137.91 (Talk) was created
- 11:22, 27 June 2012 User account 52.15.137.91 (Talk) was created
- 03:24, 27 June 2012 User account 52.15.137.91 (Talk) was created
- 12:56, 25 June 2012 User account 52.15.137.91 (Talk) was created
- 08:14, 24 June 2012 User account 52.15.137.91 (Talk) was created
- 17:02, 22 June 2012 User account 52.15.137.91 (Talk) was created
- 14:18, 20 June 2012 User account 52.15.137.91 (Talk) was created
- 11:37, 20 June 2012 User account 52.15.137.91 (Talk) was created
- 15:31, 19 June 2012 User account 52.15.137.91 (Talk) was created
- 13:09, 19 June 2012 User account 52.15.137.91 (Talk) was created
- 12:36, 17 June 2012 User account 52.15.137.91 (Talk) was created
- 12:11, 17 June 2012 User account 52.15.137.91 (Talk) was created
- 00:22, 17 June 2012 User account 52.15.137.91 (Talk) was created
- 04:24, 15 June 2012 User account 52.15.137.91 (Talk) was created
- 04:47, 14 June 2012 User account 52.15.137.91 (Talk) was created
- 16:24, 13 June 2012 User account 52.15.137.91 (Talk) was created
- 23:43, 12 June 2012 User account 52.15.137.91 (Talk) was created
- 13:55, 11 June 2012 User account 52.15.137.91 (Talk) was created
- 05:06, 11 June 2012 User account 52.15.137.91 (Talk) was created
- 12:32, 10 June 2012 User account 52.15.137.91 (Talk) was created
- 12:11, 10 June 2012 User account 52.15.137.91 (Talk) was created
- 19:49, 9 June 2012 User account 52.15.137.91 (Talk) was created
- 19:33, 8 June 2012 User account 52.15.137.91 (Talk) was created
- 18:16, 7 June 2012 User account 52.15.137.91 (Talk) was created
- 07:34, 7 June 2012 User account 52.15.137.91 (Talk) was created
- 01:16, 7 June 2012 User account 52.15.137.91 (Talk) was created
- 23:52, 6 June 2012 User account 52.15.137.91 (Talk) was created
- 22:43, 6 June 2012 User account 52.15.137.91 (Talk) was created
- 21:39, 6 June 2012 User account 52.15.137.91 (Talk) was created
- 19:55, 6 June 2012 User account 52.15.137.91 (Talk) was created
- 15:03, 3 June 2012 User account 52.15.137.91 (Talk) was created
- 13:43, 3 June 2012 User account 52.15.137.91 (Talk) was created
- 16:37, 1 June 2012 User account 52.15.137.91 (Talk) was created
- 13:08, 28 May 2012 User account 52.15.137.91 (Talk) was created
- 05:03, 28 May 2012 User account 52.15.137.91 (Talk) was created
- 03:10, 28 May 2012 User account 52.15.137.91 (Talk) was created
- 17:07, 25 May 2012 User account 52.15.137.91 (Talk) was created
- 07:21, 24 May 2012 User account 52.15.137.91 (Talk) was created
- 03:27, 22 May 2012 User account 52.15.137.91 (Talk) was created
- 21:27, 21 May 2012 User account 52.15.137.91 (Talk) was created
- 10:50, 18 May 2012 User account 52.15.137.91 (Talk) was created
- 20:46, 14 May 2012 User account 52.15.137.91 (Talk) was created
- 12:45, 12 May 2012 User account 52.15.137.91 (Talk) was created
- 05:47, 9 May 2012 User account 52.15.137.91 (Talk) was created
- 00:12, 9 May 2012 User account 52.15.137.91 (Talk) was created