| 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, 12 Sep 2017 09:30:34 +0200 |
add font "AR PL KaitiM Big5" as font for numbers
|
file | diff | annotate |
| Wed, 02 Aug 2017 09:09:40 +0200 |
add font and charactor in XSyntax
|
file | diff | annotate |
| Thu, 29 Jun 2017 14:06:23 +0200 |
merged
|
file | diff | annotate |
| Thu, 29 Jun 2017 14:06:13 +0200 |
prepare syntax for absorbing details from editor, part.
|
file | diff | annotate |
| Thu, 29 Jun 2017 13:27:00 +0200 |
fix zooming problems
|
file | diff | annotate |
| Sun, 18 Jun 2017 15:10:05 +0200 |
ast-translation for tuple
|
file | diff | annotate |
| Fri, 19 May 2017 13:46:24 +0200 |
corrected Ast.math_string_of for lists
|
file | diff | annotate |
| Sun, 07 May 2017 13:13:45 +0200 |
Ast.normalize works with simple example
|
file | diff | annotate |
| Thu, 04 May 2017 15:57:36 +0200 |
Ast.try_rules works with simple example
|
file | diff | annotate |
| Wed, 29 Mar 2017 16:24:18 +0200 |
Ast.Constant carries long strings from Term.Const
|
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 |