| 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 |
| Mon, 19 Jun 2017 09:10:51 +0200 |
review Ast.math_string_of for tuple
|
file | diff | annotate |
| Sun, 18 Jun 2017 15:10:05 +0200 |
ast-translation for tuple
|
file | diff | annotate |
| Wed, 17 May 2017 16:36:37 +0200 |
Syntax_Phases.term_to_ast reverts Isabelle/Isac's parse
|
file | diff | annotate |
| Tue, 09 May 2017 09:28:55 +0200 |
Isabelle_Isac --Term/Ast--> Tutor only THIS direction
|
file | diff | annotate |
| Thu, 27 Apr 2017 12:51:54 +0200 |
match of asts, partial
|
file | diff | annotate |
| Thu, 30 Mar 2017 14:04:12 +0200 |
--- replace Term by Ast in formulas
|
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 |
| 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 |