Mizar system: Revision history

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 19:0919:09, 12 August 2024‎ 98.25.84.88 talk‎ 13,197 bytes +8‎ →‎Breadth: idiomatic English undo
curprev 19:0019:00, 12 August 2024‎ 98.25.84.88 talk‎ 13,189 bytes +4‎ →‎Mizar language: idiomatic English undo
curprev 18:5418:54, 12 August 2024‎ 98.25.84.88 talk‎ 13,185 bytes +9‎ →‎Breadth: Jordan curve theorem is unrelated to Gödel undo

curprev 13:0513:05, 29 July 2024‎ GanzKnusper talk contribs‎ 13,176 bytes −36‎ removed Category:Mathematical societies using HotCat undo

curprev 06:4806:48, 6 June 2024‎ David Eppstein talk contribs‎ 13,212 bytes −49‎ →‎References: I don't see specific citations that look incomplete; maybe those ones should be individually tagged undo
curprev 06:4706:47, 6 June 2024‎ David Eppstein talk contribs‎ 13,261 bytes +735‎ fix two refs undo

curprev 08:3508:35, 19 February 2024‎ WikiCleanerBot talk contribs‎ m 12,526 bytes 0‎ v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation) undo Tag: WPCleaner

curprev 11:0311:03, 16 February 2024‎ Madvorak talk contribs‎ 12,526 bytes +18‎ →‎Mizar Proof Checker undo
curprev 11:0211:02, 16 February 2024‎ Madvorak talk contribs‎ 12,508 bytes −94‎ Mizar has been open sourced undo

curprev 17:3617:36, 5 January 2024‎ OAbot talk contribs‎ m 12,602 bytes +59‎ Open access bot: hdl updated in citation with #oabot. undo

curprev 12:4312:43, 16 December 2023‎ AnomieBOT talk contribs‎ m 12,543 bytes +19‎ Dating maintenance tags: {{Incomplete citations}} undo
curprev 12:2212:22, 16 December 2023‎ Skyerise talk contribs‎ 12,524 bytes +24‎ →‎References: some citations are incomplete undo

curprev 16:4016:40, 15 December 2023‎ דוד שי talk contribs‎ 12,500 bytes −2‎ →‎Breadth: repair broken link undo

curprev 06:2906:29, 11 December 2023‎ Citation bot talk contribs‎ 12,502 bytes −6‎ Alter: template type. | Use this bot. Report bugs. | Suggested by Abductive | Category:Proof assistants | #UCB_Category 19/28 undo

curprev 19:5219:52, 12 November 2023‎ ElliAWB talk contribs‎ m 12,508 bytes +15‎ Disambiguating links to Coq (link changed to Coq (software)) using DisamAssist. undo

curprev 16:5116:51, 24 February 2022‎ Skyerise talk contribs‎ 12,493 bytes −4‎ →‎History: unlink deleted article undo

curprev 00:0400:04, 5 November 2021‎ JCW-CleanerBot talk contribs‎ m 12,497 bytes +2‎ →‎Mizar language: task, replaced: Sadhana → Sādhanā undo Tag: AWB

curprev 22:1722:17, 28 April 2021‎ Bender the Bot talk contribs‎ m 12,495 bytes +1‎ →‎Mizar language: HTTP → HTTPS for the American Mathematical Society, replaced: = http://www.ams.org/ → = https://www.ams.org/ undo Tag: AWB

curprev 14:0114:01, 10 October 2020‎ Jarble talk contribs‎ 12,494 bytes +51‎ added Category:Programming languages created in 1973 using HotCat undo

curprev 21:2521:25, 21 September 2020‎ JJMC89 bot III talk contribs‎ m 12,443 bytes +23‎ Moving Category:Pascal software to Category:Pascal (programming language) software per Wikipedia:Categories for discussion/Speedy undo

curprev 23:3123:31, 19 July 2020‎ Bender the Bot talk contribs‎ m 12,420 bytes +2‎ HTTP → HTTPS for Radboud University computer science department, replaced: http://www.cs.ru.nl/ → https://www.cs.ru.nl/ (2) undo Tag: AWB

curprev 03:4703:47, 11 July 2020‎ GreenC bot talk contribs‎ 12,418 bytes −39‎ Rescued 1 archive link; reformat 1 link. Wayback Medic 2.5 undo

curprev 19:4419:44, 2 May 2020‎ Ser Amantio di Nicolao talk contribs‎ m 12,457 bytes +23‎ →‎External links: add authority control undo Tag: AWB

curprev 14:5214:52, 27 April 2020‎ Omnipaedista talk contribs‎ 12,434 bytes +11‎ →‎See also undo
curprev 14:5114:51, 27 April 2020‎ Omnipaedista talk contribs‎ 12,423 bytes +11‎ →‎See also undo

curprev 19:5519:55, 17 April 2020‎ OAbot talk contribs‎ m 12,412 bytes +40‎ Open access bot: doi added to citation with #oabot. undo

curprev 05:5905:59, 6 April 2020‎ InternetArchiveBot talk contribs‎ 12,372 bytes +191‎ Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0 undo

curprev 04:4004:40, 14 December 2019‎ Citation bot talk contribs‎ m 12,181 bytes +19‎ Alter: journal. Add: hdl. | You can use this bot yourself. Report bugs here.| Activated by User:Nemo bis | via #UCB_webform undo

curprev 12:0112:01, 30 September 2019‎ JWilk talk contribs‎ 12,162 bytes +3‎ →‎Breadth: fix accessdate= in ref undo

curprev 13:0513:05, 23 July 2019‎ Finlay McWalter talk contribs‎ 12,159 bytes −53‎ →‎See also: per WP:SEEALSO, avoid repeating links in this section which are already linked in the article body undo

curprev 04:0004:00, 23 June 2019‎ 37.99.49.67 talk‎ 12,212 bytes 0‎ →‎History undo

curprev 16:0416:04, 8 June 2019‎ Citation bot talk contribs‎ m 12,212 bytes −144‎ Alter: journal, series. Add: doi, pages, isbn. Removed URL that duplicated unique identifier. Formatted dashes. | You can use this bot yourself. Report bugs here. | Headbomb undo
curprev 15:5915:59, 8 June 2019‎ Headbomb talk contribs‎ 12,356 bytes +23‎ ce undo
curprev 15:5815:58, 8 June 2019‎ Headbomb talk contribs‎ 12,333 bytes +6‎ ce undo

curprev 23:4223:42, 15 November 2018‎ Wbm1058 talk contribs‎ m 12,327 bytes 0‎ spelling (via WP:JWB) undo

curprev 08:4408:44, 24 July 2018‎ SolidPhase talk contribs‎ m 12,327 bytes +53‎ add some wikilinks, update some access dates, etc. undo
curprev 08:3108:31, 24 July 2018‎ SolidPhase talk contribs‎ m 12,274 bytes 0‎ →‎See also: alphabetical order undo

curprev 20:5420:54, 4 July 2018‎ Liebeskind talk contribs‎ 12,274 bytes +29‎ →‎External links undo

curprev 21:4921:49, 20 April 2018‎ Nemo bis talk contribs‎ 12,245 bytes +18‎ Added free to read link in citations with OAbot #oabot undo Tag: OAbot [1.0]

curprev 19:5519:55, 1 March 2018‎ GreenC bot talk contribs‎ m 12,227 bytes −35‎ Rescued 1 archive link; reformat 3 links. Wayback Medic 2.1 undo

curprev 01:0301:03, 3 February 2018‎ InternetArchiveBot talk contribs‎ 12,262 bytes +295‎ Rescuing 1 sources and tagging 2 as dead. #IABot (v1.6.2) undo

curprev 07:3907:39, 3 August 2017‎ Arto B talk contribs‎ m 11,967 bytes +15‎ →‎See also: Added link to Metamath. undo

curprev 04:5804:58, 28 January 2017‎ 24.85.232.10 talk‎ 11,952 bytes +3‎ →‎Mizar language undo
curprev 04:5604:56, 28 January 2017‎ 24.85.232.10 talk‎ 11,949 bytes 0‎ →‎History undo
curprev 04:5504:55, 28 January 2017‎ 24.85.232.10 talk‎ 11,949 bytes −4‎ →‎History undo
curprev 04:4804:48, 28 January 2017‎ 24.85.232.10 talk‎ 11,953 bytes +2‎ No edit summary undo

curprev 20:4520:45, 20 July 2016‎ Chris the speller talk contribs‎ m 11,951 bytes −2‎ →‎Mizar language: replaced: text-books → textbooks (2) using AWB undo

curprev 11:5011:50, 10 June 2016‎ 62.102.148.156 talk‎ 11,953 bytes +9‎ It is unlikely to still be the largest. Isabelle together with the archive of formal proofs has more lines of proof script. undo

curprev 05:1505:15, 13 September 2015‎ Zackmann08 talk contribs‎ 11,944 bytes −15‎ removing thumb from infobox undo

curprev 23:2723:27, 13 July 2015‎ Trappist the monk talk contribs‎ m 11,959 bytes +8‎ →‎Availability: replace/remove deprecated cs1|2 parameters; using AWB undo

12 August 2024

29 July 2024

6 June 2024

19 February 2024

16 February 2024

5 January 2024

16 December 2023

15 December 2023

11 December 2023

12 November 2023

24 February 2022

5 November 2021

28 April 2021

10 October 2020

21 September 2020

19 July 2020

11 July 2020

2 May 2020

27 April 2020

17 April 2020

6 April 2020

14 December 2019

30 September 2019

23 July 2019

23 June 2019

8 June 2019

15 November 2018

24 July 2018

4 July 2018

20 April 2018

1 March 2018

3 February 2018

3 August 2017

28 January 2017

20 July 2016

10 June 2016

13 September 2015

13 July 2015