| Fri, 19 Jan 2018 15:47:24 +0100 |
------ notify Isabelle about Isac
|
file | diff | annotate |
| Fri, 19 Jan 2018 12:49:17 +0100 |
\----- start update Isabelle2015 --> Isabelle2017
|
file | diff | annotate |
| Fri, 22 Jan 2016 15:53:13 +0100 |
update to libisabelle-0.2.2/../Protocol
|
file | diff | annotate |
| Tue, 05 Jan 2016 11:13:20 +0100 |
experiments with ROOT/paths in libisabelle-procol
|
file | diff | annotate |
| Mon, 21 Dec 2015 13:35:41 +0100 |
built session Isac without libisabelle Protocol
|
file | diff | annotate |
| Sat, 05 Dec 2015 16:09:41 +0100 |
switched from Isabelle2014 to Isabelle2015, intermediate state
|
file | diff | annotate |
| 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 |