Mon, 16 Sep 2013 12:20:00 +0200 | Test_Isac works again, perfectly .. | file | diff | annotate |
Wed, 17 Jul 2013 07:32:53 +0200 | --- heap image for Isac on Isabelle2013 builds | file | diff | annotate |
Thu, 11 Jul 2013 16:58:31 +0200 | end of improving tests for isac on Isabelle2012 | file | diff | annotate |
Sun, 14 Oct 2012 21:26:02 +0200 | 2011-->2012: "isabelle usedir -b HOL Isac" works | file | diff | annotate |
Sun, 14 Oct 2012 20:00:27 +0200 | 2011-->2012: ... | file | diff | annotate |
Tue, 10 Apr 2012 09:31:21 +0200 | xml-files created from Knowledge (Isabelle2002 --> 2011) | file | diff | annotate |
Thu, 05 Apr 2012 11:31:56 +0200 | thydata created (Isabelle2002 --> 2011) | file | diff | annotate |