All public logs

Combined display of all available logs of Numerical Transition Systems. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

Logs

All public logs Block log Content model change log Deletion log Import log Merge log Move log Patrol log Protection log Tag log Tag management log Upload log User creation log User rights log Performer:  Target (title or User:username for user):   Search titles starting with this text

From year (and earlier): From month (and earlier): all January February March April May June July August September October November December

Show tag log

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

• 13:39, 25 November 2019 Radu iosif (Talk | contribs) deleted page File:New.gif
• 13:37, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 788 of page Radu Iosif patrolled
• 13:36, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 787 of page Radu Iosif patrolled
• 13:36, 25 November 2019 Radu iosif (Talk | contribs) uploaded File:New.gif
• 13:36, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 785 of page Radu Iosif patrolled
• 13:35, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 784 of page Radu Iosif patrolled
• 13:35, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 783 of page Radu Iosif patrolled
• 13:34, 25 November 2019 Radu iosif (Talk | contribs) automatically marked revision 782 of page Radu Iosif patrolled
• 11:51, 25 November 2019 Radu iosif (Talk | contribs) uploaded File:ArchitectureSeparationLogic.pdf
• 11:14, 25 November 2019 Radu iosif (Talk | contribs) uploaded a new version of File:InfiniteAlphabetAutomata.pdf
• 11:12, 25 November 2019 Radu iosif (Talk | contribs) uploaded File:InfiniteAlphabetAutomata.pdf
• 15:23, 8 September 2019 Radu iosif (Talk | contribs) automatically marked revision 778 of page Recent publications patrolled
• 18:35, 23 April 2019 Radu iosif (Talk | contribs) automatically marked revision 777 of page Paris, April 29th and 30th patrolled
• 15:53, 18 April 2019 Radu iosif (Talk | contribs) automatically marked revision 776 of page Paris, April 29th and 30th patrolled
• 15:52, 18 April 2019 Radu iosif (Talk | contribs) automatically marked revision 775 of page Paris, April 29th and 30th patrolled
• 15:50, 18 April 2019 Radu iosif (Talk | contribs) automatically marked revision 774 of page Paris, April 29th and 30th patrolled
• 14:15, 1 April 2019 Radu iosif (Talk | contribs) automatically marked revision 773 of page Paris, April 29th and 30th patrolled
• 14:15, 1 April 2019 Radu iosif (Talk | contribs) automatically marked revision 772 of page Paris, April 29th and 30th patrolled
• 17:31, 20 March 2019 Radu iosif (Talk | contribs) automatically marked revision 771 of page Paris, April 29th and 30th patrolled
• 17:30, 20 March 2019 Radu iosif (Talk | contribs) automatically marked revision 770 of page Paris, April 29th and 30th patrolled
• 17:28, 20 March 2019 Radu iosif (Talk | contribs) automatically marked revision 769 of page Paris, April 29th and 30th patrolled
• 17:27, 20 March 2019 Radu iosif (Talk | contribs) automatically marked revision 768 of page Friends of Separation Logic patrolled
• 19:02, 19 March 2019 Radu iosif (Talk | contribs) automatically marked revision 767 of page Cachan, April 29th and 30th patrolled
• 18:58, 19 March 2019 Radu iosif (Talk | contribs) automatically marked revision 766 of page Cachan, April 29th and 30th patrolled
• 18:58, 19 March 2019 Radu iosif (Talk | contribs) automatically marked revision 765 of page Cachan, April 29th and 30th patrolled
• 18:58, 19 March 2019 Radu iosif (Talk | contribs) automatically marked revision 764 of page Cachan, April 29th and 30th patrolled
• 18:56, 19 March 2019 Radu iosif (Talk | contribs) automatically marked revision 763 of page Cachan, April 29th and 30th patrolled
• 18:54, 19 March 2019 Radu iosif (Talk | contribs) automatically marked revision 762 of page Friends of Separation Logic patrolled
• 18:53, 19 March 2019 Radu iosif (Talk | contribs) automatically marked revision 761 of page Friends of Separation Logic patrolled
• 18:53, 19 March 2019 Radu iosif (Talk | contribs) automatically marked revision 760 of page Friends of Separation Logic patrolled
• 18:52, 19 March 2019 Radu iosif (Talk | contribs) automatically marked revision 759 of page Friends of Separation Logic patrolled
• 10:58, 8 February 2019 Radu iosif (Talk | contribs) automatically marked revision 758 of page Recent publications patrolled
• 12:49, 7 February 2019 Radu iosif (Talk | contribs) uploaded File:Cav19b.tar.gz
• 17:26, 6 February 2019 Radu iosif (Talk | contribs) uploaded a new version of File:Cav19.tar.gz
• 10:39, 6 February 2019 Radu iosif (Talk | contribs) uploaded File:Cav19.tar.gz
• 12:42, 9 December 2018 Radu iosif (Talk | contribs) automatically marked revision 754 of page Lat18 patrolled
• 12:41, 9 December 2018 Radu iosif (Talk | contribs) uploaded File:Games.zip
• 11:55, 7 December 2018 Radu iosif (Talk | contribs) automatically marked revision 752 of page Lat18 patrolled
• 11:55, 7 December 2018 Radu iosif (Talk | contribs) automatically marked revision 751 of page Lat18 patrolled
• 11:52, 7 December 2018 Radu iosif (Talk | contribs) automatically marked revision 750 of page Lat18 patrolled
• 11:51, 7 December 2018 Radu iosif (Talk | contribs) uploaded File:GamesTreeAutomata.pdf
• 11:50, 7 December 2018 Radu iosif (Talk | contribs) automatically marked revision 748 of page Lat18 patrolled
• 11:50, 7 December 2018 Radu iosif (Talk | contribs) uploaded File:ParityGames.pdf
• 11:49, 7 December 2018 Radu iosif (Talk | contribs) uploaded a new version of File:StaigerWagnerWeakParityGames.pdf
• 20:57, 2 December 2018 Radu iosif (Talk | contribs) uploaded a new version of File:StaigerWagnerWeakParityGames.pdf
• 12:04, 1 December 2018 Radu iosif (Talk | contribs) automatically marked revision 744 of page Lat18 patrolled
• 12:04, 1 December 2018 Radu iosif (Talk | contribs) uploaded File:StaigerWagnerWeakParityGames.pdf
• 11:48, 1 December 2018 Radu iosif (Talk | contribs) automatically marked revision 742 of page Lat18 patrolled
• 11:48, 1 December 2018 Radu iosif (Talk | contribs) uploaded File:ReachabilityBuchiGames.pdf
• 11:12, 1 December 2018 Radu iosif (Talk | contribs) automatically marked revision 740 of page Lat18 patrolled

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)