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 |
Mon, 04 Apr 2016 14:18:31 +0200 |
prepare for Codec[Term].decode
|
file | diff | annotate |
Mon, 08 Feb 2016 09:56:58 +0100 |
Codec[Term].encode works, TODO decode after extracting from XML.Tree
|
file | diff | annotate |
Fri, 05 Feb 2016 16:19:53 +0100 |
test term transport via libisabelle, partially
|
file | diff | annotate |
Fri, 22 Jan 2016 18:27:45 +0100 |
update to libisabelle-0.2.2/../Protocol
|
file | diff | annotate |
Fri, 28 Aug 2015 15:35:16 +0200 |
PIDE-phase 2c CONTINUED: IsaToJava for intermediateSteps checked
|
file | diff | annotate |