| 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, 20 Jun 2017 08:25:12 +0200 |
tuned
|
file | diff | annotate |
| Thu, 23 Mar 2017 15:27:09 +0100 |
extend Syntax to ASTs
|
file | diff | annotate |
| Thu, 23 Mar 2017 10:31:04 +0100 |
minimally adopt Isabelle's syntax machinery
|
file | diff | annotate |
| Wed, 08 Mar 2017 10:25:27 +0100 |
rename package according to Isabelle/../syntax/*
|
file | diff | annotate |
| Wed, 01 Mar 2017 12:41:57 +0100 |
remove more obvious Warnings
|
file | diff | annotate |
| Wed, 01 Mar 2017 12:33:56 +0100 |
remove obvious Warnings
|
file | diff | annotate |
| Mon, 20 Feb 2017 13:19:14 +0100 |
re-use toString from Term for Ast
|
file | diff | annotate |
| Sun, 09 Oct 2016 18:38:52 +0200 |
JUnit test on scala-file did not work
|
file | diff | annotate |
| Fri, 17 Jun 2016 14:15:18 +0200 |
mathml works in test setup
|
file | diff | annotate |
| Fri, 17 Jun 2016 13:32:46 +0200 |
added conversion: libisabelle-Term --> MathML
|
file | diff | annotate |
| Fri, 13 May 2016 14:35:46 +0200 |
converstion Term --> String (Isabelle) works for example for reference
|
file | diff | annotate |
| Thu, 11 Feb 2016 14:15:01 +0100 |
string_of Term observes infixl, infixr
|
file | diff | annotate |
| Wed, 10 Feb 2016 13:37:13 +0100 |
mawen examples for reference on Term representation
|
file | diff | annotate |