Twelf: Revision history

29 February 2024

• curprev 19:5219:52, 29 February 2024‎ Jerryobject talk contribs‎ 6,818 bytes +18‎ →‎External links: Adds: Template:Official website, WP:NAVBOX. undo

12 November 2023

• curprev 19:5419:54, 12 November 2023‎ ElliAWB talk contribs‎ m 6,800 bytes +15‎ Disambiguating links to Coq (link changed to Coq (software)) using DisamAssist. undo

16 August 2023

• curprev 23:4623:46, 16 August 2023‎ Hildeoc talk contribs‎ m 6,785 bytes +4‎ No edit summary undo

30 January 2023

• curprev 17:4817:48, 30 January 2023‎ Citation bot talk contribs‎ 6,781 bytes −30‎ Removed parameters. | Use this bot. Report bugs. | Suggested by Kline | Category:Type theory | #UCB_Category 76/111 undo

15 December 2022

• curprev 01:4601:46, 15 December 2022‎ Skyerise talk contribs‎ 6,811 bytes +48‎ →‎References: + see also undo

13 September 2021

• curprev 13:3813:38, 13 September 2021‎ 170.199.25.185 talk‎ 6,763 bytes +2‎ unconstructive edit undo

28 May 2021

• curprev 05:3505:35, 28 May 2021‎ 170.199.25.231 talk‎ 6,761 bytes −198‎ broken template & condense undo Tag: nowiki added
• curprev 01:1901:19, 28 May 2021‎ 170.199.25.231 talk‎ 6,959 bytes −127‎ linking & replace code with templates undo

5 April 2021

• curprev 10:0410:04, 5 April 2021‎ 170.199.25.231 talk‎ 7,086 bytes −55‎ condense undo

14 January 2021

• curprev 18:5518:55, 14 January 2021‎ Yobot talk contribs‎ m 7,141 bytes −2‎ →‎top: References after punctuation per WP:REFPUNCT, WP:CITEFOOT, WP:PAIC + other fixes undo Tag: AWB

20 November 2019

• curprev 09:0509:05, 20 November 2019‎ Widefox talk contribs‎ 7,143 bytes +100‎ todo comment -> link, syntax markup code with half OK match undo

29 August 2019

• curprev 20:5220:52, 29 August 2019‎ Bender the Bot talk contribs‎ m 7,043 bytes +2‎ →‎Formalizing mathematics: HTTP → HTTPS for Carnegie Mellon CS, replaced: http://www.cs.cmu.edu/ → https://www.cs.cmu.edu/ (2) undo Tag: AWB

8 May 2019

• curprev 12:2712:27, 8 May 2019‎ Saro1234 talk contribs‎ 7,041 bytes +93‎ No edit summary undo
• curprev 12:2512:25, 8 May 2019‎ Saro1234 talk contribs‎ 6,948 bytes +301‎ No edit summary undo
• curprev 12:2012:20, 8 May 2019‎ Saro1234 talk contribs‎ 6,647 bytes −1‎ No edit summary undo
• curprev 12:1812:18, 8 May 2019‎ Saro1234 talk contribs‎ 6,648 bytes +86‎ No edit summary undo

28 January 2019

• curprev 08:1608:16, 28 January 2019‎ Jarble talk contribs‎ m 6,562 bytes +16‎ linking undo

14 August 2015

• curprev 15:2215:22, 14 August 2015‎ 130.225.98.201 talk‎ 6,546 bytes +310‎ →‎Logic programming: mention HHF, lambda prolog undo

18 July 2015

• curprev 22:4922:49, 18 July 2015‎ Trappist the monk talk contribs‎ m 6,236 bytes +2‎ →‎Formalizing mathematics: replace/remove deprecated cs1|2 parameters; using AWB undo

27 December 2014

• curprev 00:4300:43, 27 December 2014‎ Gilo1969 talk contribs‎ 6,234 bytes +2‎ fix citation with wikilinks embedded in URL undo

30 October 2014

• curprev 14:3314:33, 30 October 2014‎ Chris the speller talk contribs‎ m 6,232 bytes 0‎ →‎Introduction: per WP:HYPHEN, sub-subsection 3, points 3,4,5, replaced: dependently- → dependently using AWB undo

31 March 2012

• curprev 11:4211:42, 31 March 2012‎ Wasell talk contribs‎ 6,232 bytes −9‎ rm vertical ws undo

17 November 2011

• curprev 05:0405:04, 17 November 2011‎ Cydebot talk contribs‎ m 6,241 bytes −12‎ Robot - Moving category Dependently typed programming languages to Category:Dependently typed languages per CFD at Wikipedia:Categories for discussion/Log/2011 November 1. undo

21 October 2011

• curprev 05:2205:22, 21 October 2011‎ Cydebot talk contribs‎ m 6,253 bytes +5‎ Robot - Moving category Dependently typed formal languages to Category:Dependently typed programming languages per CFD at Wikipedia:Categories for discussion/Log/2011 October 13. undo

3 September 2011

• curprev 00:1800:18, 3 September 2011‎ Sirmob talk contribs‎ 6,248 bytes −8‎ changed domain name (twelf.plparty.org now redirects to twelf.org) undo

28 September 2010

• curprev 17:1017:10, 28 September 2010‎ Greenrd talk contribs‎ m 6,256 bytes +3‎ →‎Implementation: asof template undo

26 September 2010

• curprev 22:2622:26, 26 September 2010‎ Wavelength talk contribs‎ 6,253 bytes 0‎ revising category name—WP:HYPHEN, subsection 3, point 4—Help:Category#Moving and redirecting category pages undo

24 August 2009

• curprev 13:4013:40, 24 August 2009‎ Pcap talk contribs‎ m 6,253 bytes −38‎ Removed category Theorem prover languages (using HotCat) undo

3 January 2009

• curprev 23:3523:35, 3 January 2009‎ Lightbot talk contribs‎ 6,291 bytes −4‎ Units/dates/other undo

8 December 2008

• curprev 08:0308:03, 8 December 2008‎ 128.2.158.128 talk‎ 6,295 bytes −781‎ In order to keep articles professional, one should keep personal opinions about open-source and licenses out of articles. Was the FreeBSD license really necessary to include in the article? undo

28 November 2008

• curprev 18:5318:53, 28 November 2008‎ Pimvantend talk contribs‎ m 7,076 bytes +4‎ →‎Formalizing mathematics undo

12 September 2008

• curprev 00:4700:47, 12 September 2008‎ Rjwilmsi talk contribs‎ m 7,072 bytes +11‎ gen fixes and/or cite template fixes using AWB undo

7 June 2008

• curprev 08:3508:35, 7 June 2008‎ Hqb talk contribs‎ m 7,061 bytes +43‎ →‎External links: twelf.org redirects to twelf.plparty.org, so merge links; add'l cats undo

14 May 2008

• curprev 19:3819:38, 14 May 2008‎ Clements talk contribs‎ 7,018 bytes +46‎ added category theorem-proving software systems ~~~ undo

9 November 2007

• curprev 15:5815:58, 9 November 2007‎ Brighterorange talk contribs‎ m 6,972 bytes 0‎ Reverted edits by 91.15.241.133 (talk) to last version by HenningThielemann undo
• curprev 09:0309:03, 9 November 2007‎ 91.15.241.133 talk‎ 6,972 bytes 0‎ →‎Introduction undo

27 August 2007

• curprev 15:5715:57, 27 August 2007‎ HenningThielemann talk contribs‎ 6,972 bytes +19‎ -> dependent type undo
• curprev 15:5615:56, 27 August 2007‎ HenningThielemann talk contribs‎ 6,953 bytes +48‎ Category:Dependently-typed formal languages undo

10 May 2007

• curprev 03:2503:25, 10 May 2007‎ Dwheeler talk contribs‎ 6,905 bytes +781‎ →‎Implementation: Note lack of a license undo

22 March 2007

• curprev 02:3102:31, 22 March 2007‎ Sirmob talk contribs‎ 6,124 bytes −13‎ update link to Twelf wiki undo

8 February 2007

• curprev 15:4915:49, 8 February 2007‎ Brighterorange talk contribs‎ 6,137 bytes +785‎ some references undo

28 September 2006

• curprev 20:0720:07, 28 September 2006‎ Sagaciousuk talk contribs‎ 5,352 bytes −6‎ General clean up & fixes using AWB undo

3 September 2006

• curprev 03:3303:33, 3 September 2006‎ Sirmob talk contribs‎ m 5,358 bytes −8‎ Change link back to twelf.org (you should have JavaScript!) undo

10 July 2006

• curprev 19:1619:16, 10 July 2006‎ Brighterorange talk contribs‎ m 5,366 bytes 0‎ →‎Implementation: update as-of undo

5 November 2005

• curprev 14:1814:18, 5 November 2005‎ Bluebot talk contribs‎ m 5,366 bytes 0‎ Bringing "External links" and "See also" sections in line with Manual of Style recommendations. undo

18 September 2005

• curprev 05:4905:49, 18 September 2005‎ 82.183.169.19 talk‎ 5,366 bytes 0‎ typo undo

9 September 2005

• curprev 18:4218:42, 9 September 2005‎ Brighterorange talk contribs‎ m 5,366 bytes +39‎ +cat undo

24 August 2005

• curprev 10:2310:23, 24 August 2005‎ Brighterorange talk contribs‎ m 5,327 bytes −2‎ okay, if you like, but scs has retired www-2 now undo

23 August 2005

• curprev 15:5115:51, 23 August 2005‎ 144.212.95.8 talk‎ 5,329 bytes +14‎ →‎External Links undo

14 August 2005

• curprev 16:5316:53, 14 August 2005‎ Bobo192 talk contribs‎ 5,315 bytes −4‎ Removed repeated word undo