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 |