Jump to content

Java Modeling Language: 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 17:3217:32, 4 April 2024 Widefox talk contribs 8,880 bytes +94 →Syntax: markup code undo
curprev 17:3017:30, 4 April 2024 Widefox talk contribs 8,786 bytes +33 Added {{No footnotes}} tag undo Tag: Twinkle

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

curprev 15:4615:46, 16 March 2023 Christian75 talk contribs 8,738 bytes +63 Adding local short description: "Specification language for Java programs", overriding Wikidata description "specification language for Java programs" undo Tag: Shortdesc helper

curprev 21:3421:34, 14 November 2022 93.144.21.240 talk 8,675 bytes −87 the link no longer exists undo

curprev 20:3720:37, 18 January 2022 PrimeBOT talk contribs m 8,762 bytes −54 →top: Task 24: remove a maintenance template following a TFD undo Tag: AWB

curprev 06:3106:31, 14 March 2021 JPxG talk contribs 8,816 bytes +20 Adding WikiProject-based categories as parameters to Template:Expert needed, Template:Expert etc, to clear out the unhelpful Category:Articles needing unspecified expert attention. undo

curprev 09:1109:11, 17 February 2021 Mark in wiki talk contribs 8,796 bytes +4 →References: wikilink added undo

curprev 18:0018:00, 11 May 2020 DannyS712 bot talk contribs m 8,792 bytes +18 Task 70: Update syntaxhighlight tags - remove use of deprecated <source> tags undo Tag: AWB

curprev 09:2209:22, 1 February 2020 InternetArchiveBot talk contribs 8,774 bytes +43 Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0 undo

curprev 12:0312:03, 16 December 2019 Frap talk contribs m 8,731 bytes −3 →Syntax: format code undo

curprev 21:5621:56, 26 June 2019 Oneiros talk contribs 8,734 bytes +24 →External links: linkfix undo

curprev 04:1604:16, 2 December 2017 GreenC bot talk contribs m 8,710 bytes −33 Rescued 1 archive link; reformat 1 link. Wayback Medic 2.1 undo

curprev 23:1323:13, 22 November 2017 InternetArchiveBot talk contribs 8,743 bytes +76 Rescuing 0 sources and tagging 1 as dead. #IABot (v1.6.1) undo

curprev 19:0019:00, 15 November 2017 115.165.119.79 talk 8,667 bytes −17 Undid revision 810513962 by 5.68.233.113 (talk) undo
curprev 18:4818:48, 15 November 2017 5.68.233.113 talk 8,684 bytes +17 →Syntax undo
curprev 18:4618:46, 15 November 2017 ClueBot NG talk contribs m 8,667 bytes −41 Reverting possible vandalism by 5.68.233.113 to version by MikeRawding. Report False Positive? Thanks, ClueBot NG. (3190488) (Bot) undo
curprev 18:4618:46, 15 November 2017 5.68.233.113 talk 8,708 bytes +41 →Overview undo

curprev 18:5618:56, 2 April 2017 MikeRawding talk contribs m 8,667 bytes −8 Updated link to OpenJML homepage. undo Tag: Visual edit

curprev 08:4908:49, 7 February 2017 Edward talk contribs 8,675 bytes +4 link syntax highlighting using Find link undo

curprev 23:5323:53, 1 June 2016 LilHelpa talk contribs m 8,671 bytes 0 General fixes and Typo fixing, replaced: a open → an open using AWB undo

curprev 12:5412:54, 9 February 2016 2a00:1398:9:fb00:14f8:ddd8:6a5c:3576 talk 8,679 bytes +270 →References undo

curprev 05:2805:28, 2 December 2015 Lfstevens talk contribs m 8,409 bytes +6 clean up using AWB undo

curprev 16:4016:40, 21 October 2015 217.225.223.222 talk 8,403 bytes +94 the definition of the pure keyword was wrong undo

curprev 08:1408:14, 4 August 2015 130.83.165.71 talk 8,309 bytes +138 added link to eclipse plug-in with support of syntax highlighting, checking and more for JML undo

curprev 07:0207:02, 23 July 2015 Jarble talk contribs 8,171 bytes +45 added Category:Articles with example Java code using HotCat undo

curprev 16:1916:19, 18 March 2014 Rhinestone K talk contribs m 8,126 bytes +615 Reverted edits by 211.25.212.126 (talk) to last version by Ysangkok undo
curprev 16:1816:18, 18 March 2014 211.25.212.126 talk 7,511 bytes −615 →References undo

curprev 12:2712:27, 8 February 2014 Ysangkok talk contribs 8,126 bytes +87 →Tool support: vercors undo
curprev 12:2012:20, 8 February 2014 Ysangkok talk contribs 8,039 bytes +43 →Tool support: openjml is successor undo

curprev 16:1316:13, 7 February 2014 87.157.219.93 talk 7,996 bytes +20 →Syntax: assignable nothing != pure undo

curprev 15:5715:57, 18 January 2014 Ysangkok talk contribs 7,976 bytes +58 →Tool support: add openjml undo

curprev 07:3307:33, 3 October 2013 InverseHypercube talk contribs m 7,918 bytes 0 →Tool Support: uncap. 'Support' undo

curprev 19:1919:19, 31 August 2013 Mdd talk contribs 7,918 bytes +4 + Link(s) undo

curprev 11:5611:56, 27 February 2013 Addbot talk contribs m 7,914 bytes −152 Bot: Migrating 5 interwiki links, now provided by Wikidata on d:q2517517 (Report Errors) undo

curprev 00:2100:21, 23 June 2012 FrescoBot talk contribs m 8,066 bytes −15 Bot: link syntax/spacing undo

curprev 18:4218:42, 26 May 2012 MastiBot talk contribs m 8,081 bytes −12 r2.7.2) (Robot: Removing wuu:JML undo

curprev 14:3114:31, 9 May 2012 134.2.106.133 talk 8,093 bytes +88 →Syntax: New entry for the table. An example can be found here: http://old.nabble.com/JML-doubt:-Fibonacci-example-td18789653.html undo

curprev 12:4812:48, 27 December 2011 145.116.227.67 talk 8,005 bytes −9 →Tool Support undo

curprev 11:1311:13, 30 November 2011 129.217.150.235 talk 8,014 bytes +29 →Syntax: syntax highlight undo

curprev 20:4620:46, 29 November 2011 84.60.107.84 talk 7,985 bytes +175 →Syntax undo

curprev 20:5720:57, 25 November 2011 ClueBot NG talk contribs m 7,810 bytes −155 Reverting possible vandalism by 84.60.113.135 to version by 81.217.39.232. False positive? Report it. Thanks, ClueBot NG. (749919) (Bot) undo
curprev 20:5720:57, 25 November 2011 84.60.113.135 talk 7,965 bytes +30 →Syntax undo
curprev 20:5420:54, 25 November 2011 84.60.113.135 talk 7,935 bytes +125 →Syntax: formatting undo

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