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 20 | older 20) (20 | 50 | 100 | 250 | 500)- 15:52, 22 January 2020 Olivier Laurent (Talk | contribs) changed group membership for User:Remi Nollet from (none) to confirmed (valid user)
- 23:46, 2 June 2019 Olivier Laurent (Talk | contribs) changed group membership for User:Hugo Herbelin from (none) to confirmed (valid user)
- 16:26, 11 March 2019 Olivier Laurent (Talk | contribs) changed group membership for User:Rémi Nollet from (none) to confirmed (Confirmed user)
- 17:30, 6 June 2018 Olivier Laurent (Talk | contribs) changed group membership for User:Giulio Guerrieri from (none) to confirmed
- 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: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
- 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
- 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