| 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, 06 Sep 2017 12:52:14 +0200 |
merged
|
file | diff | annotate |
| Wed, 06 Sep 2017 12:50:59 +0200 |
merge
|
file | diff | annotate |
| Wed, 02 Aug 2017 18:04:23 +0200 |
cleanup hack in Ast.math_string_of
|
file | diff | annotate |
| Wed, 02 Aug 2017 11:51:30 +0200 |
quick and dirty repair of Ast.math_string_of
|
file | diff | annotate |
| Wed, 02 Aug 2017 10:56:24 +0200 |
fix problem with to_str with BOX
|
file | diff | annotate |
| Thu, 06 Jul 2017 16:00:33 +0200 |
remove warinings
|
file | diff | annotate |
| Tue, 27 Jun 2017 11:27:29 +0200 |
get a sub-term of an ast via key
|
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:21:45 +0200 |
tuned
|
file | diff | annotate |
| Sun, 18 Jun 2017 15:20:25 +0200 |
cleanup from previous changeset
|
file | diff | annotate |
| Sun, 18 Jun 2017 15:10:05 +0200 |
ast-translation for tuple
|
file | diff | annotate |
| Wed, 24 May 2017 16:27:59 +0200 |
Ast.math_string_of for arbitrary asts
|
file | diff | annotate |
| Thu, 18 May 2017 10:16:13 +0200 |
collect test data from User Requirements
|
file | diff | annotate |
| Wed, 17 May 2017 15:58:13 +0200 |
Ast.math_string_of handles lists
|
file | diff | annotate |
| Fri, 12 May 2017 12:50:22 +0200 |
rename write access to Ast according to Scala's TreeMap
|
file | diff | annotate |
| Sun, 07 May 2017 13:59:35 +0200 |
Ast.normalize drops types
|
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 |
| Tue, 02 May 2017 07:36:16 +0200 |
Ast.matches works with simple example
|
file | diff | annotate |
| Sun, 30 Apr 2017 12:15:27 +0200 |
test transformation Term -> Ast, partially
|
file | diff | annotate |
| Sun, 30 Apr 2017 11:48:13 +0200 |
parallel use of various TestDATA
|
file | diff | annotate |
| Fri, 28 Apr 2017 17:26:22 +0200 |
update ast with complicated sub-ast
|
file | diff | annotate |
| Fri, 28 Apr 2017 16:21:32 +0200 |
update an ast at a position given by a key
|
file | diff | annotate |
| Thu, 27 Apr 2017 12:51:54 +0200 |
match of asts, partial
|
file | diff | annotate |
| Sun, 23 Apr 2017 11:14:37 +0200 |
made Ast.math_string_of Isac-like (FIXME special case)
|
file | diff | annotate |
| Fri, 21 Apr 2017 18:06:58 +0200 |
adapted Ast.math_string_of for BOX, GAP and CURSOR
|
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 |
| Wed, 08 Mar 2017 16:33:58 +0100 |
add prerequisites for simple_ast_of term
|
file | diff | annotate |
| Wed, 08 Mar 2017 10:25:27 +0100 |
rename package according to Isabelle/../syntax/*
|
file | diff | annotate |