| 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 |