Tue, 14 Apr 2015 13:41:48 +0200 | build session Isac starts in Isabelle2014 | file | diff | annotate |
Wed, 20 Nov 2013 16:25:07 +0100 | merged | file | diff | annotate |
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 |