| Tue, 04 Sep 2018 14:50:30 +0200 |
Isabelle2017->18: add libisabelle, PROBLEM with session management:
|
file | diff | annotate |
| Thu, 23 Aug 2018 17:20:37 +0200 |
Isabelle2017->18: bypass libisabelle (search libisabelle_DUMMY), Build_Isac.thy OK
|
file | diff | annotate |
| Tue, 06 Feb 2018 11:50:40 +0100 |
------ connect libisabelle with Isac
|
file | diff | annotate |
| Thu, 22 Dec 2016 10:25:49 +0100 |
--- closed structure Ctree
|
file | diff | annotate |
| Mon, 10 Oct 2016 18:24:14 +0200 |
transport terms in theorems to frontend
|
file | diff | annotate |
| Wed, 06 Apr 2016 16:56:47 +0200 |
update libisabelle-0.2.2 to libisabelle 0.3.3
|
file | diff | annotate |
| Thu, 04 Feb 2016 14:20:16 +0100 |
trials with libisabelle + terms, removed ML error
|
file | diff | annotate |
| Wed, 03 Feb 2016 15:25:19 +0100 |
trials with libisabelle + terms, ML error
|
file | diff | annotate |
| Tue, 12 Jan 2016 19:52:22 +0100 |
replace call of MutabelleExtra.thms_of
|
file | diff | annotate |
| Sat, 15 Aug 2015 08:06:28 +0200 |
PIDE-phase-2a: xml_of_tac reordered
|
file | diff | annotate |
| Sun, 09 Aug 2015 17:52:02 +0200 |
PIDE: auxiliary funs for operation_setup apply_tac
|
file | diff | annotate |
| Sun, 31 May 2015 10:37:31 +0200 |
tuned
|
file | diff | annotate |
| Sun, 31 May 2015 07:38:19 +0200 |
PIDE: funs in Frontend/interface on (Isac-)context
|
file | diff | annotate |
| Mon, 04 Aug 2014 15:54:57 +0200 |
in thehier replaced Threory.axioms_of by MutabelleExtra.thms_of
|
file | diff | annotate |
| Sun, 29 Sep 2013 18:27:37 +0200 |
collected updates since changeset 9690a8d5f1c
|
file | diff | annotate |
| Sun, 16 Jun 2013 12:31:41 +0200 |
Isabelle2011 --> 2012 intermediate
|
file | diff | annotate |
| Sun, 14 Oct 2012 20:00:27 +0200 |
2011-->2012: ...
|
file | diff | annotate |
| Tue, 01 Mar 2011 15:23:59 +0100 |
intermed.update to Isabelle2011: test/../syntax added
|
file | diff | annotate |