Menu
▾
▴
jmlspecs-commits — Commit messages for JML (only)
You can subscribe to this list here.
| 2002 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
(2) |
Dec
(159) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2003 |
Jan
(238) |
Feb
(183) |
Mar
(372) |
Apr
(287) |
May
(280) |
Jun
(211) |
Jul
(134) |
Aug
(198) |
Sep
(172) |
Oct
(144) |
Nov
(227) |
Dec
(122) |
| 2004 |
Jan
(229) |
Feb
(62) |
Mar
(99) |
Apr
(107) |
May
(50) |
Jun
(61) |
Jul
(133) |
Aug
(84) |
Sep
(50) |
Oct
(35) |
Nov
(46) |
Dec
(39) |
| 2005 |
Jan
(55) |
Feb
(44) |
Mar
(48) |
Apr
(73) |
May
(72) |
Jun
(47) |
Jul
(124) |
Aug
(110) |
Sep
(131) |
Oct
(69) |
Nov
(46) |
Dec
(145) |
| 2006 |
Jan
(68) |
Feb
(44) |
Mar
(46) |
Apr
(6) |
May
(75) |
Jun
(13) |
Jul
(48) |
Aug
(71) |
Sep
(86) |
Oct
(3) |
Nov
(77) |
Dec
(83) |
| 2007 |
Jan
(28) |
Feb
(63) |
Mar
(32) |
Apr
(37) |
May
(31) |
Jun
(27) |
Jul
(43) |
Aug
(8) |
Sep
(107) |
Oct
(50) |
Nov
(59) |
Dec
(127) |
| 2008 |
Jan
(58) |
Feb
(184) |
Mar
(178) |
Apr
(170) |
May
(165) |
Jun
(202) |
Jul
(83) |
Aug
(58) |
Sep
(23) |
Oct
(34) |
Nov
(24) |
Dec
(113) |
| 2009 |
Jan
(30) |
Feb
(53) |
Mar
(91) |
Apr
(40) |
May
(86) |
Jun
(59) |
Jul
(272) |
Aug
(163) |
Sep
(91) |
Oct
(66) |
Nov
(96) |
Dec
(55) |
| 2010 |
Jan
(13) |
Feb
(29) |
Mar
(72) |
Apr
(49) |
May
(22) |
Jun
(6) |
Jul
(17) |
Aug
(9) |
Sep
(57) |
Oct
(18) |
Nov
(20) |
Dec
(15) |
| 2011 |
Jan
(12) |
Feb
(13) |
Mar
(5) |
Apr
(16) |
May
(11) |
Jun
(26) |
Jul
(35) |
Aug
(70) |
Sep
(25) |
Oct
(19) |
Nov
(15) |
Dec
(1) |
| 2012 |
Jan
(4) |
Feb
(3) |
Mar
(6) |
Apr
(5) |
May
(10) |
Jun
|
Jul
(5) |
Aug
(29) |
Sep
(30) |
Oct
(17) |
Nov
(13) |
Dec
(1) |
| 2013 |
Jan
(16) |
Feb
(9) |
Mar
(13) |
Apr
(28) |
May
(93) |
Jun
(56) |
Jul
(65) |
Aug
(38) |
Sep
(85) |
Oct
(35) |
Nov
(27) |
Dec
(65) |
| 2014 |
Jan
(42) |
Feb
(23) |
Mar
(5) |
Apr
(6) |
May
(12) |
Jun
(15) |
Jul
(24) |
Aug
(12) |
Sep
(12) |
Oct
(11) |
Nov
(17) |
Dec
(31) |
| 2015 |
Jan
(15) |
Feb
|
Mar
(83) |
Apr
(31) |
May
(28) |
Jun
(35) |
Jul
|
Aug
(1) |
Sep
|
Oct
|
Nov
|
Dec
|
| 2016 |
Jan
(1) |
Feb
(3) |
Mar
(1) |
Apr
(7) |
May
(28) |
Jun
(17) |
Jul
(48) |
Aug
(2) |
Sep
|
Oct
|
Nov
(1) |
Dec
(1) |
| 2017 |
Jan
|
Feb
|
Mar
(14) |
Apr
(28) |
May
(20) |
Jun
(2) |
Jul
|
Aug
|
Sep
(4) |
Oct
(28) |
Nov
(4) |
Dec
(30) |
| 2018 |
Jan
|
Feb
(1) |
Mar
|
Apr
(1) |
May
|
Jun
|
Jul
|
Aug
(1) |
Sep
(1) |
Oct
|
Nov
|
Dec
|
| 2019 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
(1) |
Jul
(18) |
Aug
(52) |
Sep
(4) |
Oct
(1) |
Nov
|
Dec
|
| 2020 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
(1) |
Dec
|
| 2021 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
|
Oct
(3) |
Nov
|
Dec
(25) |
| 2022 |
Jan
|
Feb
|
Mar
(1) |
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
|
From: <le...@us...> - 2022-03-02 17:04:41
|
Revision: 9632
http://sourceforge.net/p/jmlspecs/code/9632
Author: leavens
Date: 2022-03-02 17:04:39 +0000 (Wed, 02 Mar 2022)
Log Message:
-----------
Adding Community Choice award badge from sf.net
Modified Paths:
--------------
trunk/web/index.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-12-14 22:07:15
|
Revision: 9631
http://sourceforge.net/p/jmlspecs/code/9631
Author: leavens
Date: 2021-12-14 22:07:13 +0000 (Tue, 14 Dec 2021)
Log Message:
-----------
Adding link to the new reference manual
Modified Paths:
--------------
trunk/web/documentation.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-12-10 22:00:49
|
Revision: 9630
http://sourceforge.net/p/jmlspecs/code/9630
Author: leavens
Date: 2021-12-10 22:00:47 +0000 (Fri, 10 Dec 2021)
Log Message:
-----------
updating
Modified Paths:
--------------
trunk/web/other-participants.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-12-10 21:56:47
|
Revision: 9629
http://sourceforge.net/p/jmlspecs/code/9629
Author: leavens
Date: 2021-12-10 21:56:45 +0000 (Fri, 10 Dec 2021)
Log Message:
-----------
updating
Modified Paths:
--------------
trunk/web/other-participants.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-12-10 20:58:27
|
Revision: 9628
http://sourceforge.net/p/jmlspecs/code/9628
Author: leavens
Date: 2021-12-10 20:58:25 +0000 (Fri, 10 Dec 2021)
Log Message:
-----------
updating
Modified Paths:
--------------
trunk/web/other-participants.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-12-10 20:24:24
|
Revision: 9627
http://sourceforge.net/p/jmlspecs/code/9627
Author: leavens
Date: 2021-12-10 20:24:23 +0000 (Fri, 10 Dec 2021)
Log Message:
-----------
updating
Modified Paths:
--------------
trunk/web/other-participants.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-12-10 20:16:11
|
Revision: 9626
http://sourceforge.net/p/jmlspecs/code/9626
Author: leavens
Date: 2021-12-10 20:16:10 +0000 (Fri, 10 Dec 2021)
Log Message:
-----------
updating
Modified Paths:
--------------
trunk/web/index.shtml
trunk/web/other-participants.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-12-10 20:12:54
|
Revision: 9625
http://sourceforge.net/p/jmlspecs/code/9625
Author: leavens
Date: 2021-12-10 20:12:52 +0000 (Fri, 10 Dec 2021)
Log Message:
-----------
updating
Modified Paths:
--------------
trunk/web/other-participants.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-12-10 20:00:39
|
Revision: 9624
http://sourceforge.net/p/jmlspecs/code/9624
Author: leavens
Date: 2021-12-10 20:00:38 +0000 (Fri, 10 Dec 2021)
Log Message:
-----------
updating
Modified Paths:
--------------
trunk/web/other-participants.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-12-10 19:44:50
|
Revision: 9623
http://sourceforge.net/p/jmlspecs/code/9623
Author: leavens
Date: 2021-12-10 19:44:49 +0000 (Fri, 10 Dec 2021)
Log Message:
-----------
Fixing capitalization
Modified Paths:
--------------
trunk/web/documentation.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-12-10 19:42:51
|
Revision: 9622
http://sourceforge.net/p/jmlspecs/code/9622
Author: leavens
Date: 2021-12-10 19:42:49 +0000 (Fri, 10 Dec 2021)
Log Message:
-----------
Fixing XHTML (syntax)
Modified Paths:
--------------
trunk/web/documentation.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-12-10 19:34:40
|
Revision: 9621
http://sourceforge.net/p/jmlspecs/code/9621
Author: leavens
Date: 2021-12-10 19:34:39 +0000 (Fri, 10 Dec 2021)
Log Message:
-----------
Fixing XHTML (syntax)
Modified Paths:
--------------
trunk/web/download.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-12-10 19:30:38
|
Revision: 9620
http://sourceforge.net/p/jmlspecs/code/9620
Author: leavens
Date: 2021-12-10 19:30:37 +0000 (Fri, 10 Dec 2021)
Log Message:
-----------
Fixing XHTML (syntax)
Modified Paths:
--------------
trunk/web/index.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-12-10 19:22:45
|
Revision: 9619
http://sourceforge.net/p/jmlspecs/code/9619
Author: leavens
Date: 2021-12-10 19:22:43 +0000 (Fri, 10 Dec 2021)
Log Message:
-----------
adjusting format of picture
Modified Paths:
--------------
trunk/web/style/top.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-12-10 19:16:55
|
Revision: 9618
http://sourceforge.net/p/jmlspecs/code/9618
Author: leavens
Date: 2021-12-10 19:16:53 +0000 (Fri, 10 Dec 2021)
Log Message:
-----------
adjusting format of picture
Modified Paths:
--------------
trunk/web/style/top.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-12-10 19:16:01
|
Revision: 9617
http://sourceforge.net/p/jmlspecs/code/9617
Author: leavens
Date: 2021-12-10 19:15:53 +0000 (Fri, 10 Dec 2021)
Log Message:
-----------
adjusting format of picture
Modified Paths:
--------------
trunk/web/style/top.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-12-10 19:14:38
|
Revision: 9616
http://sourceforge.net/p/jmlspecs/code/9616
Author: leavens
Date: 2021-12-10 19:14:37 +0000 (Fri, 10 Dec 2021)
Log Message:
-----------
adjusting format of picture
Modified Paths:
--------------
trunk/web/style/top.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-12-10 19:13:46
|
Revision: 9615
http://sourceforge.net/p/jmlspecs/code/9615
Author: leavens
Date: 2021-12-10 19:13:45 +0000 (Fri, 10 Dec 2021)
Log Message:
-----------
adjusting format of picture
Modified Paths:
--------------
trunk/web/style/top.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-12-10 19:11:50
|
Revision: 9614
http://sourceforge.net/p/jmlspecs/code/9614
Author: leavens
Date: 2021-12-10 19:11:48 +0000 (Fri, 10 Dec 2021)
Log Message:
-----------
updated
Modified Paths:
--------------
trunk/web/download.shtml
trunk/web/index.shtml
trunk/web/other-participants.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-12-10 19:11:35
|
Revision: 9613
http://sourceforge.net/p/jmlspecs/code/9613
Author: leavens
Date: 2021-12-10 19:11:34 +0000 (Fri, 10 Dec 2021)
Log Message:
-----------
updated
Modified Paths:
--------------
trunk/web/style/top.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-12-10 15:25:58
|
Revision: 9612
http://sourceforge.net/p/jmlspecs/code/9612
Author: leavens
Date: 2021-12-10 15:25:57 +0000 (Fri, 10 Dec 2021)
Log Message:
-----------
updating
Modified Paths:
--------------
trunk/web/download.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-12-10 15:07:32
|
Revision: 9611
http://sourceforge.net/p/jmlspecs/code/9611
Author: leavens
Date: 2021-12-10 15:07:30 +0000 (Fri, 10 Dec 2021)
Log Message:
-----------
formatting OpenJML logo
Modified Paths:
--------------
trunk/web/style/top.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-12-10 14:52:17
|
Revision: 9610
http://sourceforge.net/p/jmlspecs/code/9610
Author: leavens
Date: 2021-12-10 14:52:15 +0000 (Fri, 10 Dec 2021)
Log Message:
-----------
updating with move to github
Modified Paths:
--------------
trunk/web/style/top.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-12-10 14:31:45
|
Revision: 9609
http://sourceforge.net/p/jmlspecs/code/9609
Author: leavens
Date: 2021-12-10 14:31:44 +0000 (Fri, 10 Dec 2021)
Log Message:
-----------
Moving from sourceforge to github and updating
Modified Paths:
--------------
trunk/web/contact.shtml
trunk/web/development-helping.shtml
trunk/web/development.shtml
trunk/web/download.shtml
trunk/web/index.shtml
trunk/web/links.shtml
trunk/web/papers.shtml
trunk/web/pictures.shtml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <le...@us...> - 2021-12-10 13:16:25
|
Revision: 9608
http://sourceforge.net/p/jmlspecs/code/9608
Author: leavens
Date: 2021-12-10 13:16:24 +0000 (Fri, 10 Dec 2021)
Log Message:
-----------
moving from sourceforge to github
Modified Paths:
--------------
trunk/web/developer-tips-base.html
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|