| 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 |
| Tue, 27 Jun 2017 12:49:02 +0200 | treat Isabelle_isac.connect uniformly | file | diff | annotate |
| Sun, 18 Jun 2017 15:10:05 +0200 | ast-translation for tuple | file | diff | annotate |
| Wed, 31 May 2017 15:05:32 +0200 | reactivate ScalaTermFromString | file | diff | annotate |