MINLOG: Revision history

30 January 2021

• curprev 15:1915:19, 30 January 2021 193.52.24.14 talk 1,175 bytes +1 No edit summary undo

6 October 2020

• curprev 15:4015:40, 6 October 2020 JimpiJax talk contribs 1,174 bytes +6 No edit summary undo Tag: Visual edit

6 November 2013

• curprev 12:4212:42, 6 November 2013 2003:63:2f15:b501:687a:27a7:8f03:42a4 talk 1,168 bytes +8 links undo

6 October 2011

• curprev 22:2722:27, 6 October 2011 4bpp talk contribs m 1,160 bytes 0 Fixed the link. undo

21 September 2011

• curprev 07:1807:18, 21 September 2011 Cydebot talk contribs m 1,160 bytes −20 Robot - Moving category Interactive theorem proving software to Category:Proof assistants per CFD at Wikipedia:Categories for discussion/Log/2011 September 14. undo

13 September 2011

• curprev 23:4223:42, 13 September 2011 Ruud Koot talk contribs 1,180 bytes −198 unprod; cat undo

10 July 2007

• curprev 09:1809:18, 10 July 2007 Proto talk contribs m 1,378 bytes +205 damnit undo
• curprev 09:1809:18, 10 July 2007 Proto talk contribs m 1,173 bytes +6 subst undo
• curprev 09:1809:18, 10 July 2007 Proto talk contribs 1,167 bytes +37 prod undo

8 June 2007

• curprev 13:5913:59, 8 June 2007 Eubulide talk contribs 1,130 bytes +1,130 create