| Thu, 08 Apr 2021 13:09:44 +0200 |
proper setup for "Doc" sessions;
|
file | diff | annotate |
| Sun, 04 Apr 2021 12:29:42 +0200 |
separate session Specify
|
file | diff | annotate |
| Fri, 22 Jan 2021 14:56:44 +0100 |
step 5.4: clarify dependencies of BridgeJEdit.thy
|
file | diff | annotate |
| Wed, 11 Nov 2020 17:27:11 +0100 |
intermediately build Isac on HOL-SPARK
|
file | diff | annotate |
| Tue, 06 Oct 2020 12:44:42 +0200 |
Isabelle2019->20: session Isac works again
|
file | diff | annotate |
| Mon, 05 Oct 2020 12:16:16 +0200 |
Isabelle2019->20: adapt to 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 |
| Wed, 11 Mar 2020 15:25:52 +0100 |
start formally checked documentation with Lucas_Interpreter
|
file | diff | annotate |
| Tue, 04 Feb 2020 17:11:54 +0100 |
lucin: rename central structure to Lucin
|
file | diff | annotate |
| Wed, 15 Jan 2020 11:47:38 +0100 |
preps 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 |
| Wed, 05 Sep 2018 15:34:39 +0200 |
Isabelle2017->18: use libisabelle as separate session
|
file | diff | annotate |
| Tue, 04 Sep 2018 14:50:30 +0200 |
Isabelle2017->18: add libisabelle, PROBLEM with session management:
|
file | diff | annotate |
| Tue, 28 Aug 2018 11:34:55 +0200 |
Isabelle2017->18: avoid libisabelle ERROR in ROOT, cf.7b2998e11662
|
file | diff | annotate |
| Mon, 27 Aug 2018 15:57:45 +0200 |
sabelle2017->18: for Test_Isac.thy minor changes
|
file | diff | annotate |
| Sat, 31 Mar 2018 10:30:17 +0200 |
create browser_info
|
file | diff | annotate |
| Tue, 06 Feb 2018 15:24:03 +0100 |
Isabelle2015->17: libisabelle's structure changed
|
file | diff | annotate |
| Thu, 18 Jan 2018 15:25:39 +0100 |
comments on test setup
|
file | diff | annotate |
| Wed, 06 Apr 2016 16:56:47 +0200 |
update libisabelle-0.2.2 to libisabelle 0.3.3
|
file | diff | annotate |
| Fri, 22 Jan 2016 15:53:13 +0100 |
update to libisabelle-0.2.2/../Protocol
|
file | diff | annotate |
| Fri, 15 Jan 2016 09:35:24 +0100 |
session for libisabelle + Isac
|
file | diff | annotate |
| Tue, 01 Jul 2014 16:13:04 +0200 |
correct buid of Isac
|
file | diff | annotate |
| Sun, 22 Jun 2014 15:22:30 +0200 |
CLEANUP since cf8879216db3
|
file | diff | annotate |
| Thu, 21 Nov 2013 18:20:07 +0100 |
remove error "Duplicate session" cf. 07c2812b9ff3
|
file | diff | annotate |
| Thu, 21 Nov 2013 16:56:13 +0100 |
Isabelle2013 --> 2013-1: remove error "Duplicate session"
|
file | diff | annotate |
| Sun, 29 Sep 2013 18:27:37 +0200 |
collected updates since changeset 9690a8d5f1c
|
file | diff | annotate |
| Wed, 17 Jul 2013 07:32:53 +0200 |
--- heap image for Isac on Isabelle2013 builds
|
file | diff | annotate |