| Fri, 23 Aug 2013 12:40:55 +0200 | clarified position of Spec_Check for Isabelle/ML -- it is unrelated to Isabelle/HOL; | file | diff | annotate |
| Fri, 13 Sep 2013 18:57:11 +0200 | Test_Theory without session Isac has limitations | file | diff | annotate |
| Sun, 21 Jul 2013 15:15:50 +0200 | removed ERROR: Undefined session(s): "Isac" | file | diff | annotate |
| Tue, 28 Aug 2012 18:57:32 +0200 | renamed doc-src to src/Doc; | file | diff | annotate |
| Sun, 19 Aug 2012 17:33:00 +0200 | fewer components, more roots; | file | diff | annotate |