Mon, 19 Jun 2017 09:10:51 +0200 |
Walther Neuper |
review Ast.math_string_of for tuple
|
changeset |
files
|
Sun, 18 Jun 2017 15:21:45 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
Sun, 18 Jun 2017 15:20:25 +0200 |
Walther Neuper |
cleanup from previous changeset
|
changeset |
files
|
Sun, 18 Jun 2017 15:10:05 +0200 |
Walther Neuper |
ast-translation for tuple
|
changeset |
files
|
Sun, 18 Jun 2017 13:30:51 +0200 |
Walther Neuper |
review of Testall
|
changeset |
files
|
Fri, 02 Jun 2017 12:18:12 +0200 |
mmahringer |
fix display problem with empty Ast in TreeCellRenderer
|
changeset |
files
|
Fri, 02 Jun 2017 12:02:04 +0200 |
mmahringer |
fix spacing problem with equations
|
changeset |
files
|
Fri, 02 Jun 2017 11:52:06 +0200 |
mmahringer |
times & minus can now visualized in the editor
|
changeset |
files
|
Fri, 02 Jun 2017 11:38:11 +0200 |
mmahringer |
merged
|
changeset |
files
|
Fri, 02 Jun 2017 11:37:57 +0200 |
mmahringer |
delete unnecessary comments
|
changeset |
files
|
Wed, 31 May 2017 15:05:32 +0200 |
Walther Neuper |
reactivate ScalaTermFromString
|
changeset |
files
|
Fri, 26 May 2017 18:14:49 +0200 |
mmahringer |
empty formula starts now with a Gap, fix Ast Transform problems with only Gap as root
|
changeset |
files
|
Fri, 26 May 2017 16:45:14 +0200 |
mmahringer |
editor can display equation
|
changeset |
files
|
Thu, 25 May 2017 21:30:45 +0200 |
mmahringer |
merged
|
changeset |
files
|
Thu, 25 May 2017 21:30:33 +0200 |
mmahringer |
handle Asts with Appl(Const, list[ast])
|
changeset |
files
|
Wed, 24 May 2017 17:27:33 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
Wed, 24 May 2017 16:31:52 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
Wed, 24 May 2017 16:27:59 +0200 |
Walther Neuper |
Ast.math_string_of for arbitrary asts
|
changeset |
files
|
Wed, 24 May 2017 14:54:25 +0200 |
mmahringer |
change Editor.properties names
|
changeset |
files
|
Wed, 24 May 2017 14:09:18 +0200 |
mmahringer |
renaming wrt generalisation of editor
|
changeset |
files
|
Wed, 24 May 2017 13:58:32 +0200 |
mmahringer |
Integrate mawen Editor into ISAC
|
changeset |
files
|
Wed, 24 May 2017 09:59:09 +0200 |
Walther Neuper |
merged
|
changeset |
files
|
Wed, 24 May 2017 09:59:01 +0200 |
Walther Neuper |
CLEANUP mawen's new directories
|
changeset |
files
|
Wed, 24 May 2017 09:40:37 +0200 |
mmahringer |
merged
|
changeset |
files
|
Wed, 24 May 2017 09:36:42 +0200 |
mmahringer |
add EditorListener in IEditor for checking a formula
|
changeset |
files
|
Fri, 19 May 2017 13:46:24 +0200 |
Walther Neuper |
corrected Ast.math_string_of for lists
|
changeset |
files
|
Fri, 19 May 2017 11:18:10 +0200 |
Walther Neuper |
Ast.math_string_of handles univariate functions ...
|
changeset |
files
|
Thu, 18 May 2017 12:35:42 +0200 |
mmahringer |
merged
|
changeset |
files
|
Thu, 18 May 2017 12:35:31 +0200 |
mmahringer |
add EditorListener --> notify Worksheet
|
changeset |
files
|
Thu, 18 May 2017 10:45:22 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
Thu, 18 May 2017 10:34:45 +0200 |
Walther Neuper |
added new test to TestAll
|
changeset |
files
|
Thu, 18 May 2017 10:19:51 +0200 |
mmahringer |
merged
|
changeset |
files
|
Thu, 18 May 2017 10:19:39 +0200 |
mmahringer |
Settings.scala get its initial data from property file Editor.properties
|
changeset |
files
|
Thu, 18 May 2017 10:16:13 +0200 |
Walther Neuper |
collect test data from User Requirements
|
changeset |
files
|
Wed, 17 May 2017 17:10:58 +0200 |
Walther Neuper |
enforce use of XLibrary
|
changeset |
files
|
Wed, 17 May 2017 16:39:06 +0200 |
Walther Neuper |
merged
|
changeset |
files
|
Wed, 17 May 2017 16:36:37 +0200 |
Walther Neuper |
Syntax_Phases.term_to_ast reverts Isabelle/Isac's parse
|
changeset |
files
|
Wed, 17 May 2017 15:58:13 +0200 |
Walther Neuper |
Ast.math_string_of handles lists
|
changeset |
files
|
Wed, 17 May 2017 09:38:46 +0200 |
mmahringer |
merged
|
changeset |
files
|
Wed, 17 May 2017 09:29:41 +0200 |
mmahringer |
Integrate Editor in ISAC / CustomTreeCellEditor
|
changeset |
files
|
Fri, 12 May 2017 12:50:22 +0200 |
Walther Neuper |
rename write access to Ast according to Scala's TreeMap
|
changeset |
files
|
Tue, 09 May 2017 09:28:55 +0200 |
Walther Neuper |
Isabelle_Isac --Term/Ast--> Tutor only THIS direction
|
changeset |
files
|
Sun, 07 May 2017 13:59:35 +0200 |
Walther Neuper |
Ast.normalize drops types
|
changeset |
files
|
Sun, 07 May 2017 13:13:45 +0200 |
Walther Neuper |
Ast.normalize works with simple example
|
changeset |
files
|
Thu, 04 May 2017 15:57:45 +0200 |
Walther Neuper |
merged
|
changeset |
files
|
Thu, 04 May 2017 15:57:36 +0200 |
Walther Neuper |
Ast.try_rules works with simple example
|
changeset |
files
|
Wed, 03 May 2017 15:32:48 +0200 |
mmahringer |
merged
|
changeset |
files
|
Wed, 03 May 2017 15:31:06 +0200 |
mmahringer |
Add Ast-Transformation for Replaceing Asts. Add Overlayed TextField for editing Asts. By Str. + leftclick you can Edit a Variable or a Gapp and replace it with Constants and Variables
|
changeset |
files
|
Fri, 21 Apr 2017 13:07:43 +0200 |
mmahringer |
merged
|
changeset |
files
|
Fri, 21 Apr 2017 13:05:07 +0200 |
mmahringer |
Mock Worksheet for Formula Editor
|
changeset |
files
|
Tue, 02 May 2017 07:36:16 +0200 |
Walther Neuper |
Ast.matches works with simple example
|
changeset |
files
|
Sun, 30 Apr 2017 12:15:27 +0200 |
Walther Neuper |
test transformation Term -> Ast, partially
|
changeset |
files
|
Sun, 30 Apr 2017 11:48:13 +0200 |
Walther Neuper |
parallel use of various TestDATA
|
changeset |
files
|
Sun, 30 Apr 2017 08:46:29 +0200 |
Walther Neuper |
asts from use cases of mmahringer
|
changeset |
files
|
Fri, 28 Apr 2017 17:26:22 +0200 |
Walther Neuper |
update ast with complicated sub-ast
|
changeset |
files
|
Fri, 28 Apr 2017 16:21:32 +0200 |
Walther Neuper |
update an ast at a position given by a key
|
changeset |
files
|
Thu, 27 Apr 2017 12:52:01 +0200 |
Walther Neuper |
merged
|
changeset |
files
|
Thu, 27 Apr 2017 12:51:54 +0200 |
Walther Neuper |
match of asts, partial
|
changeset |
files
|
Thu, 27 Apr 2017 11:21:17 +0200 |
Walther Neuper |
canonical structure for asts
|
changeset |
files
|
Sun, 23 Apr 2017 11:14:37 +0200 |
Walther Neuper |
made Ast.math_string_of Isac-like (FIXME special case)
|
changeset |
files
|