| 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 |
| Thu, 25 May 2017 21:30:33 +0200 |
handle Asts with Appl(Const, list[ast])
|
file | diff | annotate |
| Thu, 18 May 2017 10:19:39 +0200 |
Settings.scala get its initial data from property file Editor.properties
|
file | diff | annotate |
| Fri, 21 Apr 2017 13:05:07 +0200 |
Mock Worksheet for Formula Editor
|
file | diff | annotate |
| Thu, 23 Mar 2017 15:27:09 +0100 |
extend Syntax to ASTs
|
file | diff | annotate |
| Fri, 17 Feb 2017 15:05:07 +0100 |
start Mawen editor
|
file | diff | annotate |
| Sun, 09 Oct 2016 18:38:52 +0200 |
JUnit test on scala-file did not work
|
file | diff | annotate |
| Sun, 07 Aug 2016 19:01:57 +0200 |
TermTree evaulation calculation-trees inserted
|
file | diff | annotate |
| Fri, 17 Jun 2016 14:15:18 +0200 |
mathml works in test setup
|
file | diff | annotate |
| Thu, 12 May 2016 16:08:50 +0200 |
tool for creating libisabelle's terms ...
|
file | diff | annotate |