Walther Neuper <wneuper@ist.tugraz.at> [Sat, 08 Apr 2017 17:19:05 +0200] rev 5077
Asts for input supported by GAP
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 08 Apr 2017 14:04:51 +0200] rev 5076
Asts for BOX, GAP and CURSOR in usecase
Concerns UC "User guidance by marked subterms and fill-in-gaps".
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 05 Apr 2017 22:05:31 +0200] rev 5075
push number of Warnings below 50
This limit has been established by Andreas Hujber,
we shall stay below this limit.
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 05 Apr 2017 21:13:51 +0200] rev 5074
shift tests on Asts from java to scala
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 05 Apr 2017 16:24:00 +0200] rev 5073
review an outcommented test
Note: the test is outcommented, because it works only in debug mode
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 30 Mar 2017 19:30:38 +0200] rev 5072
replace Term by Ast, TestAll WORKS
mmahringer <s1520454056@students.fh-hagenberg.at> [Thu, 30 Mar 2017 16:44:23 +0200] rev 5071
--- replace Term by Ast in formulas WORKS
note: Replace Ast(Scala Object) with Ast.Ast(Scala Class), Ast can't assign to Ast.Ast
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 30 Mar 2017 14:04:12 +0200] rev 5070
--- replace Term by Ast in formulas
Note:
# --- means: Testall doesn't work
# strange errors like
Error: Could not find or load main class isac.bridge.BridgeMain
to be checked on another computer, thus this commit.
mmahringer <s1520454056@students.fh-hagenberg.at> [Thu, 30 Mar 2017 12:40:02 +0200] rev 5069
merged
mmahringer <s1520454056@students.fh-hagenberg.at> [Thu, 30 Mar 2017 12:37:20 +0200] rev 5068
add EditorFactory which returns FormulaEditor or Textboxes depending on property