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, 05 Apr 2017 22:05:31 +0200 | push number of Warnings below 50 | file | diff | annotate |
Tue, 14 Mar 2017 14:31:20 +0100 | does NOT overwrite scala code of libisabelle | file | diff | annotate |
Tue, 14 Mar 2017 07:06:55 +0100 | further prerequisites for simple_ast_of term | file | diff | annotate |
Thu, 09 Mar 2017 05:24:32 +0100 | clarify provenience of syntax/*.scala | file | diff | annotate |
Wed, 08 Mar 2017 16:33:58 +0100 | add prerequisites for simple_ast_of term | file | diff | annotate |