| Wed, 13 Apr 2016 18:01:05 +0200 | wenzelm | eliminated "xname" and variants; | file | diff | annotate |
| Wed, 09 Sep 2015 14:47:41 +0200 | wenzelm | eliminated \<Colon> from syntax of constraints; | file | diff | annotate |
| Mon, 06 Apr 2015 17:28:07 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 01 Sep 2014 18:42:02 +0200 | blanchet | ported to use new-style datatypes | file | diff | annotate |
| Wed, 30 Apr 2014 15:43:44 +0200 | berghofe | Discontinued old spark_open; spark_open_siv is now spark_open | file | diff | annotate |
| Fri, 29 Jun 2012 10:08:41 +0200 | berghofe | Documented "incomplete" option of spark_end | file | diff | annotate |
| Tue, 28 Feb 2012 11:10:09 +0100 | berghofe | Added infrastructure for mapping SPARK field / constructor names | file | diff | annotate |
| Thu, 22 Sep 2011 16:50:23 +0200 | berghofe | Added documentation for HOL-SPARK | file | diff | annotate |