Walther Neuper <neuper@ist.tugraz.at> [Wed, 13 Jun 2012 10:30:33 +0200] rev 42439
errpats for cancel
Walther Neuper <neuper@ist.tugraz.at> [Wed, 13 Jun 2012 07:28:39 +0200] rev 42438
first dialog sequence for error patterns
see --- UC errpat, fillpat ---
Walther Neuper <neuper@ist.tugraz.at> [Fri, 25 May 2012 16:30:15 +0200] rev 42437
added "fun inputFillFormula"
a usecase with
# appendFormula (related to an error pattern)
# findFillpatterns
# requestFillformula
# inputFillFormula
# autoCalculate
in test/../interface.sml --- UC errpat, fillpat ---
Walther Neuper <neuper@ist.tugraz.at> [Fri, 25 May 2012 09:58:20 +0200] rev 42436
cleaned "fun generate_inconsistent_rew"
Walther Neuper <neuper@ist.tugraz.at> [Thu, 24 May 2012 19:07:15 +0200] rev 42435
tuned
Walther Neuper <neuper@ist.tugraz.at> [Thu, 24 May 2012 18:40:07 +0200] rev 42434
tuned
Walther Neuper <neuper@ist.tugraz.at> [Thu, 24 May 2012 17:13:58 +0200] rev 42433
prepared fun inputFillform
fun get_fillform now returns the substitution requred for "tac Rewrite_Inst"
Walther Neuper <neuper@ist.tugraz.at> [Tue, 22 May 2012 13:40:06 +0200] rev 42432
added "fun requestFillformula"
given a fillpatID propose a fillform to the learner on the worksheet;
the "ctree" is extended with fillpat and "ostate Inconsistent", the "istate" is NOT updated;
returns CalcChanged.
arg errpatID: required because there is no dialog-related state in the math-kernel.
ATTENTION: the handling of "Inconsistent" and pos will be tested with "fun inputFillformula".
Walther Neuper <neuper@ist.tugraz.at> [Tue, 22 May 2012 07:00:53 +0200] rev 42431
tuned
Walther Neuper <neuper@ist.tugraz.at> [Mon, 21 May 2012 16:56:01 +0200] rev 42430
added fun FindFillpatterns
TODO: separate "error pattern #" from "no derivation found"