Sun, 18 Apr 2021 18:30:31 +0200 |
proper test sessions, but with remaining failures;
|
file | diff | annotate |
Sun, 18 Apr 2021 16:11:38 +0200 |
disentangle Isabelle repository "isab" vs. ISAC repository "isa":
|
file | diff | annotate |
Fri, 16 Apr 2021 22:13:43 +0200 |
more explicit components;
|
file | diff | annotate |
Mon, 08 Mar 2021 09:40:09 +0100 |
Isabelle2020->21: notify Isabelle about Isac sessions
|
file | diff | annotate |
Mon, 08 Mar 2021 09:11:09 +0100 |
\----- start update Isabelle2020 --> Isabelle2021
|
file | diff | annotate |
Mon, 05 Oct 2020 11:35:42 +0200 |
tests on new session requirements
|
file | diff | annotate |
Fri, 25 Sep 2020 10:15:33 +0200 |
bypass checking Doc/Lucas_Interpreter
|
file | diff | annotate |
Thu, 24 Sep 2020 15:48:52 +0200 |
adopt new field inf Thm record, finished
|
file | diff | annotate |
Thu, 24 Sep 2020 12:56:19 +0200 |
Isabelle2019->20: notify Isabelle about Isac sessions
|
file | diff | annotate |
Wed, 23 Sep 2020 15:18:07 +0200 |
\----- start update Isabelle2019 --> Isabelle2020
|
file | diff | annotate |
Tue, 04 Feb 2020 17:11:54 +0100 |
lucin: rename central structure to Lucin
|
file | diff | annotate |
Mon, 30 Dec 2019 11:16:00 +0100 |
lucin: add session for IJCAR paper
|
file | diff | annotate |
Tue, 10 Sep 2019 10:47:18 +0200 |
Isabelle2018->19: rm libisabelle, not available for Isabelle2019
|
file | diff | annotate |
Wed, 04 Sep 2019 10:17:53 +0200 |
Isabelle2018->19: cp libisabelle into Isac, partially
|
file | diff | annotate |
Tue, 03 Sep 2019 17:43:42 +0200 |
Isabelle2018->19: Pure and HOL build with updated thm.ML
|
file | diff | annotate |
Tue, 03 Sep 2019 17:17:38 +0200 |
Isabelle2018->19: notify Isabelle about Isac
|
file | diff | annotate |
Tue, 03 Sep 2019 16:10:31 +0200 |
\----- start update Isabelle2018 --> Isabelle2019
|
file | diff | annotate |
Tue, 04 Sep 2018 14:50:30 +0200 |
Isabelle2017->18: add libisabelle, PROBLEM with session management:
|
file | diff | annotate |
Wed, 22 Aug 2018 15:44:30 +0200 |
Isabelle20XX->YY: notify Isabelle about Isac
|
file | diff | annotate |
Wed, 22 Aug 2018 14:44:15 +0200 |
\----- start update Isabelle2017 --> Isabelle2018
|
file | diff | annotate |
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 |