Wed, 28 Nov 2018 08:59:29 +0100 | update Scala 2.10 to 2.12.3 | 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 Mar 2017 16:33:58 +0100 | add prerequisites for simple_ast_of term | file | diff | annotate |