Fri, 26 Mar 2021 10:45:05 +0100 |
reset mathematics-engine to Isabelle2015
|
file | diff | annotate |
Wed, 12 Sep 2018 16:24:42 +0200 |
hg commit -m "------ connection to new math-engine on Isabelle2018 partially
|
file | diff | annotate |
Wed, 06 Jul 2016 13:58:21 +0200 |
=== changed kernel version (HEAD of CalcHead carries Term): update required
|
file | diff | annotate |
Fri, 22 Jan 2016 18:27:45 +0100 |
update to libisabelle-0.2.2/../Protocol
|
file | diff | annotate |
Mon, 03 Aug 2015 08:07:05 +0200 |
PIDE: test on xml_to_CalcHead works
|
file | diff | annotate |
Mon, 27 Jul 2015 09:06:39 +0200 |
PIDE: rearranged test and continued towards xml_to_CalcHead
|
file | diff | annotate |
Mon, 27 Jul 2015 08:05:06 +0200 |
PIDE: intermed.step towards xml_to_CalcHead
|
file | diff | annotate |
Sun, 26 Jul 2015 17:27:43 +0200 |
PIDE: intermed.state, xml_to_Model works
|
file | diff | annotate |
Sun, 26 Jul 2015 15:24:24 +0200 |
PIDE: intermed.state in Test for CalcHead <--> XML.Tree
|
file | diff | annotate |