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 |
Sun, 12 Feb 2017 13:35:49 +0100 |
remove Warning: Maps need Generics, partially
|
file | diff | annotate |
Fri, 10 Feb 2017 21:13:56 +0100 |
remove Warning: Iterators need Generics
|
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:18:03 +0200 |
PIDE-test phase 2a: DataTypes.scala shall be analogous to datatypes.sml
|
file | diff | annotate |
Sun, 19 Jul 2015 06:35:19 +0200 |
PIDE Mini_Test step 1 (Formalization) corrected
|
file | diff | annotate |
Tue, 07 Jul 2015 12:20:08 +0200 |
now "import ...ConvertXML" is possible
|
file | diff | annotate |
Fri, 28 Sep 2012 11:27:47 +0200 |
shift isac-java 1 level deeper
|
file | diff | annotate | base |