Jump to content

Automath: Revision history

View logs for this page (view filter log)

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 21:0721:07, 18 March 2021 Tom.Reding talk contribs m 2,412 bytes +22 +{{Authority control}} (2 IDs from Wikidata), WP:GenFixes on undo Tag: AWB

curprev 23:2723:27, 19 July 2020 Bender the Bot talk contribs m 2,390 bytes +1 →External links: HTTP → HTTPS for Radboud University computer science department, replaced: http://www.cs.ru.nl/ → https://www.cs.ru.nl/ undo Tag: AWB

curprev 03:0403:04, 11 April 2019 129.63.209.76 talk 2,389 bytes −1 No edit summary undo Tags: Mobile edit Mobile web edit

curprev 23:4123:41, 8 December 2017 Omnipaedista talk contribs 2,390 bytes +13 resectioning per WP:LEAD undo
curprev 22:1722:17, 8 December 2017 Omnipaedista talk contribs 2,377 bytes +1 No edit summary undo
curprev 22:1622:16, 8 December 2017 Omnipaedista talk contribs 2,376 bytes +1 quot. marks for glosses undo

curprev 21:3521:35, 27 May 2017 Magic links bot talk contribs m 2,375 bytes +12 Replace magic links with templates per local RfC and MediaWiki RfC undo

curprev 07:0007:00, 12 October 2015 RW Dutton talk contribs 2,363 bytes +6 →External links: Change Automath 35th anniversary workshop link to currently working version undo

curprev 08:5708:57, 11 September 2014 Lambiam talk contribs 2,357 bytes +13 →top: usual rendering of last name undo

curprev 10:1110:11, 27 September 2013 Langec talk contribs m 2,344 bytes +9 →External links: fixed broken link undo

curprev 09:3809:38, 29 May 2013 GraphTheoryProf talk contribs 2,335 bytes −4,769 Undid revision 552833624 by Math634 (talk) for copywrite violations undo

curprev 03:5403:54, 30 April 2013 Math634 talk contribs 7,104 bytes +4,769 No edit summary undo

curprev 12:3012:30, 16 March 2013 Addbot talk contribs m 2,335 bytes −33 Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q2872609 undo

curprev 07:3607:36, 24 February 2013 AxelBoldt talk contribs 2,368 bytes +327 No edit summary undo

curprev 06:2306:23, 19 June 2012 ZéroBot talk contribs m 2,041 bytes +16 r2.7.1) (Robot: Adding fr:Automath undo

curprev 03:5503:55, 8 May 2012 Helpful Pixie Bot talk contribs m 2,025 bytes +6 ISBNs (Build KE) undo

curprev 18:2218:22, 12 March 2012 134.188.4.12 talk 2,019 bytes +16 No edit summary undo

curprev 08:2008:20, 11 December 2011 67.101.5.248 talk 2,003 bytes +1 No edit summary undo

curprev 07:1707:17, 21 September 2011 Cydebot talk contribs m 2,002 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

curprev 01:0001:00, 14 September 2011 Ruud Koot talk contribs 2,022 bytes +12 cat undo

curprev 14:4714:47, 4 May 2011 141.84.136.11 talk 2,010 bytes −90 →External links: rm link (does not work) undo

curprev 23:4423:44, 6 March 2011 RebelRobot talk contribs m 2,100 bytes 0 Robot: Fixing ISBN format undo

curprev 18:0518:05, 27 September 2010 Michael Hardy talk contribs m 2,100 bytes +12 No edit summary undo

curprev 16:1216:12, 17 July 2010 SmackBot talk contribs m 2,088 bytes −5 Date maintenance tags and general fixes: build 424: undo

curprev 05:1005:10, 18 March 2010 Dominus talk contribs m 2,093 bytes 0 sp undo

curprev 15:2715:27, 22 October 2009 Zvika talk contribs 2,093 bytes +1 is->was: this seems to be inactive. undo

curprev 16:3816:38, 11 January 2009 Michael Hardy talk contribs m 1,456 bytes +6 →External links undo

curprev 22:3722:37, 26 May 2008 Lambiam talk contribs m 1,450 bytes +9 better wikilink undo
curprev 22:2922:29, 26 May 2008 Lambiam talk contribs 1,441 bytes −5 not really a programming language; Automath has no operational semantics, nor notions of input and output undo

curprev 18:5718:57, 14 April 2008 Krisrose talk contribs 1,446 bytes +526 Slight elaboration on history. undo

curprev 20:0720:07, 16 March 2008 Andreas Kaufmann talk contribs 920 bytes −349 Category:Theorem prover languages undo

curprev 08:3408:34, 28 November 2007 Ironwolf talk contribs 1,269 bytes +5 No edit summary undo
curprev 08:3308:33, 28 November 2007 Ironwolf talk contribs 1,264 bytes +76 Added disambiguation link for Autodidact undo

curprev 23:4323:43, 26 July 2007 Hotfeba talk contribs 1,188 bytes +158 added ref undo

curprev 04:1104:11, 11 July 2007 Gregbard talk contribs m 1,030 bytes +16 No edit summary undo

curprev 18:1518:15, 20 December 2006 MaD70 talk contribs m 1,014 bytes +25 Clarified the origin of the name. undo
curprev 18:0918:09, 20 December 2006 MaD70 talk contribs m 989 bytes −1 Corrected links. undo
curprev 18:0318:03, 20 December 2006 MaD70 talk contribs 990 bytes +990 Added.

Retrieved from "https://en.wikipedia.org/wiki/Automath"