Jape (software): 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 06:1506:15, 4 February 2024‎ Citation bot talk contribs‎ 5,292 bytes +5‎ Alter: journal, pages. Formatted dashes. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 13:2413:24, 18 January 2024‎ Deltaspace42 talk contribs‎ 5,287 bytes −35‎ copyedit undo

curprev 11:5211:52, 27 December 2023‎ Deltaspace42 talk contribs‎ m 1,703 bytes +5‎ –{{Software-stub}}, +{{Free-software-stub}} using StubSorter undo

curprev 15:4315:43, 25 December 2023‎ Deltaspace42 talk contribs‎ 1,698 bytes +113‎ +Category:Free software programmed in Java (programming language); +Category:Software using the GPL license using HotCat undo

curprev 18:3218:32, 5 August 2023‎ Taser talk contribs‎ 1,585 bytes +51‎ Official website redirects to github for latest release. undo

curprev 01:4801:48, 15 December 2022‎ Skyerise talk contribs‎ 1,534 bytes +45‎ + see also undo

curprev 09:4409:44, 15 June 2022‎ Hadal1337 talk contribs‎ 1,489 bytes −734‎ Undid revision 1093230108 by Hadal1337 (talk) undo Tag: Undo
curprev 09:4009:40, 15 June 2022‎ Hadal1337 talk contribs‎ 2,223 bytes +734‎ AfD: Nominated for deletion; see Wikipedia:Articles for deletion/Jape (software). undo Tag: Reverted

curprev 12:5612:56, 1 December 2021‎ JPxG talk contribs‎ m 1,489 bytes 0‎ Fix capitalization: Sourceforge to SourceForge (via WP:JWB) undo

curprev 01:5901:59, 29 September 2020‎ SacredDragonX talk contribs‎ m 1,489 bytes 0‎ Cleaned up using AutoEd undo

curprev 17:4117:41, 10 July 2019‎ Gnomingstuff talk contribs‎ m 1,489 bytes +3‎ stub sort undo

curprev 18:5218:52, 12 September 2016‎ Miltiadis Kokkonidis talk contribs‎ 1,486 bytes −1‎ No edit summary undo
curprev 18:5118:51, 12 September 2016‎ Miltiadis Kokkonidis talk contribs‎ 1,487 bytes +85‎ No edit summary undo

curprev 05:4605:46, 4 March 2013‎ Rmkeller talk contribs‎ m 1,402 bytes +4‎ Changed ML programming language to Java. undo

curprev 19:2219:22, 9 September 2012‎ 86.6.187.111 talk‎ 1,398 bytes −26‎ →‎External links undo

curprev 19:2119:21, 27 January 2012‎ Palosirkka talk contribs‎ 1,424 bytes +35‎ license undo

curprev 14:5514:55, 12 November 2011‎ 86.165.80.138 talk‎ 1,389 bytes −1‎ link to official website undo
curprev 14:5514:55, 12 November 2011‎ 86.165.80.138 talk‎ 1,390 bytes +27‎ Fix link to official website undo

curprev 16:0916:09, 17 October 2011‎ Liiiii talk contribs‎ 1,363 bytes +21‎ Correction prog language undo
curprev 16:0716:07, 17 October 2011‎ Liiiii talk contribs‎ m 1,342 bytes +55‎ Programming lanugage undo

curprev 07:1807:18, 21 September 2011‎ Cydebot talk contribs‎ m 1,287 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 12:0112:01, 24 January 2011‎ 87.112.114.199 talk‎ 1,307 bytes −15‎ →‎External links: fix link undo

curprev 15:2815:28, 13 October 2010‎ 147.229.177.207 talk‎ 1,322 bytes +35‎ →‎External links: Found a dead link undo

curprev 06:3206:32, 20 April 2010‎ Yobot talk contribs‎ m 1,287 bytes −29‎ Autotagging+genfixes, removed orphan tag using AWB undo

curprev 12:4912:49, 9 June 2009‎ 98.24.83.21 talk‎ 1,316 bytes +4‎ adding link for Richard Bornat undo

curprev 02:0202:02, 17 May 2009‎ 82.154.219.237 talk‎ 1,312 bytes +150‎ No edit summary undo

curprev 02:3702:37, 19 February 2009‎ Addbot talk contribs‎ m 1,162 bytes +30‎ Bot: Adding Orphan Tag (Questions) (Report Errors) undo

curprev 00:2600:26, 3 February 2009‎ 88.234.217.196 talk‎ 1,132 bytes −362‎ Removing AFD template after closure undo

curprev 02:0702:07, 31 January 2009‎ Altenmann talk contribs‎ 1,494 bytes +7‎ No edit summary undo
curprev 02:0602:06, 31 January 2009‎ Altenmann talk contribs‎ 1,487 bytes +48‎ online link for recent ref undo
curprev 00:3900:39, 31 January 2009‎ 131.211.113.1 talk‎ 1,439 bytes +510‎ Adding a reference undo

curprev 17:1017:10, 30 January 2009‎ Altenmann talk contribs‎ 929 bytes +314‎ {{subst:afd}} undo
curprev 17:0917:09, 30 January 2009‎ Altenmann talk contribs‎ m 615 bytes 0‎ moved Jape to Jape (software) undo
curprev 17:0817:08, 30 January 2009‎ Altenmann talk contribs‎ 615 bytes +580‎ No edit summary undo

curprev 20:3320:33, 29 January 2009‎ Altenmann talk contribs‎ 35 bytes −580‎ ←Redirected page to Jape (disambiguation) undo

curprev 11:1911:19, 3 November 2008‎ Greenrd talk contribs‎ 615 bytes −314‎ reverted substituting one article for another article. This is not how to edit Wikipedia. undo

curprev 23:5323:53, 2 November 2008‎ 83.105.93.87 talk‎ 929 bytes −33‎ No edit summary undo
curprev 23:4623:46, 2 November 2008‎ 83.105.93.87 talk‎ 962 bytes +347‎ No edit summary undo

curprev 15:4915:49, 24 September 2008‎ Tinucherian talk contribs‎ 615 bytes 0‎ General fixes and clean up using AWB undo

curprev 22:4622:46, 12 December 2007‎ Greenrd talk contribs‎ m 615 bytes +34‎ added category undo
curprev 22:4522:45, 12 December 2007‎ Greenrd talk contribs‎ 581 bytes +38‎ subcatted; querying notability undo
curprev 22:4422:44, 12 December 2007‎ Greenrd talk contribs‎ 543 bytes −31‎ changed to the more conventional term "proof assistant" instead of "proof calculator" undo

curprev 14:2514:25, 25 November 2007‎ Cydebot talk contribs‎ m 574 bytes +16‎ Robot - Moving category Theorem provers to Theorem proving software systems per CFD at Wikipedia:Categories for discussion/Log/2007 November 16. undo

4 February 2024

18 January 2024

11 January 2024

27 December 2023

25 December 2023

5 August 2023

15 December 2022

15 June 2022

1 December 2021

29 September 2020

10 July 2019

12 September 2016

4 March 2013

9 September 2012

27 January 2012

12 November 2011

17 October 2011

21 September 2011

24 January 2011

13 October 2010

20 April 2010

9 June 2009

17 May 2009

19 February 2009

3 February 2009

31 January 2009

30 January 2009

29 January 2009

3 November 2008

2 November 2008

24 September 2008

12 December 2007

25 November 2007