| Thu, 22 Dec 2016 11:36:20 +0100 | renamed Ctree.ptree --> Ctree.ctree | file | diff | annotate |
| Thu, 20 Oct 2016 10:26:29 +0200 | simplify handling of theorems | file | diff | annotate |
| Thu, 21 Nov 2013 18:12:17 +0100 | Isabelle2013 --> 2013-1: Test_Isac perfect | file | diff | annotate |
| Wed, 05 Dec 2012 15:56:38 +0100 | Test_Isac.thy works until "Interpret/mstools.sml" | file | diff | annotate |
| Tue, 31 Jul 2012 15:16:47 +0200 | prepared for fun stepToErrorPatterns | file | diff | annotate |
| Sat, 17 Mar 2012 11:06:46 +0100 | uncomment test/../rateq.sml (Isabelle 2002 --> 2011) | file | diff | annotate |
| Sat, 10 Mar 2012 09:41:09 +0100 | uncomment test/../biegelinie (Isabelle 2002 --> 2011) | file | diff | annotate |
| Sat, 21 May 2011 09:40:02 +0200 | tuned | file | diff | annotate |