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, 08 Feb 2017 13:15:26 +0100 | remove Warning: unused Code | file | diff | annotate |
Fri, 22 Jan 2016 18:27:45 +0100 | update to libisabelle-0.2.2/../Protocol | file | diff | annotate |
Sun, 09 Aug 2015 06:51:36 +0200 | PIDE-test phase 2a: reorganised DataTypes.scala, JavaToIsa.scala | file | diff | annotate |
Tue, 21 Jul 2015 13:26:24 +0200 | PIDE: intermediate state on step 6+10 | file | diff | annotate |
Sun, 19 Jul 2015 06:35:19 +0200 | PIDE Mini_Test step 1 (Formalization) corrected | file | diff | annotate |
Fri, 28 Sep 2012 11:27:47 +0200 | shift isac-java 1 level deeper | file | diff | annotate | base |