| 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, 27 Jun 2017 12:49:02 +0200 |
treat Isabelle_isac.connect uniformly
|
file | diff | annotate |
| Wed, 31 May 2017 15:05:32 +0200 |
reactivate ScalaTermFromString
|
file | diff | annotate |
| Thu, 18 May 2017 12:35:31 +0200 |
add EditorListener --> notify Worksheet
|
file | diff | annotate |
| Thu, 18 May 2017 10:16:13 +0200 |
collect test data from User Requirements
|
file | diff | annotate |
| Wed, 17 May 2017 16:39:06 +0200 |
merged
|
file | diff | annotate |
| Wed, 17 May 2017 16:36:37 +0200 |
Syntax_Phases.term_to_ast reverts Isabelle/Isac's parse
|
file | diff | annotate |
| Wed, 17 May 2017 09:29:41 +0200 |
Integrate Editor in ISAC / CustomTreeCellEditor
|
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 |
| Wed, 19 Apr 2017 13:35:14 +0200 |
Ast representation of numerals
|
file | diff | annotate |
| Sat, 08 Apr 2017 14:04:51 +0200 |
Asts for BOX, GAP and CURSOR in usecase
|
file | diff | annotate |
| Wed, 05 Apr 2017 22:05:31 +0200 |
push number of Warnings below 50
|
file | diff | annotate |
| Wed, 05 Apr 2017 21:13:51 +0200 |
shift tests on Asts from java to scala
|
file | diff | annotate |