| Wed, 05 Oct 2016 13:09:54 +0200 | cleaned tests from autoCalculate' (removed ') | file | diff | annotate |
| Mon, 20 Apr 2015 14:18:40 +0200 | update test/ to Isabelle2014 (~ updates of src/) | file | diff | annotate |
| Fri, 13 Jun 2014 12:42:15 +0200 | autoCalculate now parallelized | file | diff | annotate |
| Fri, 13 Jun 2014 12:06:38 +0200 | moved from "Unsynchronized.ref states" to "Synchronized.var states" | file | diff | annotate |
| Mon, 02 Sep 2013 16:16:08 +0200 | Test_Isac works again, almost .. | file | diff | annotate |
| Tue, 03 May 2011 16:20:55 +0200 | provided all "x+1=2" with typeconstraint real ("equality" is just bool) | file | diff | annotate |
| Mon, 11 Oct 2010 13:31:22 +0200 | removed all ".thy" in src/ and test/ | file | diff | annotate |
| Tue, 28 Sep 2010 09:06:56 +0200 | tuned error and writeln | file | diff | annotate |
| Thu, 12 Aug 2010 11:02:32 +0200 | moved isac + test to final dire-structure | file | diff | annotate |