| Mon, 20 Apr 2015 14:18:40 +0200 | update test/ to Isabelle2014 (~ updates of src/) | file | diff | annotate |
| Wed, 04 Jun 2014 17:41:09 +0200 | ad 967c8a1eb6b1 (1): adapted tests partially | file | diff | annotate |
| Mon, 02 Sep 2013 16:16:08 +0200 | Test_Isac works again, almost .. | file | diff | annotate |
| Mon, 25 Jul 2011 11:52:07 +0200 | intermed: uncommented tests | file | diff | annotate |
| Thu, 12 Aug 2010 11:02:32 +0200 | moved isac + test to final dire-structure | file | diff | annotate |