Jan Rocnik <jan.rocnik@student.tugraz.at> [Sun, 17 Jun 2012 22:36:27 +0200] rev 42442
added first version of cadgme presentation
Jan Rocnik <jan.rocnik@student.tugraz.at> [Sun, 17 Jun 2012 22:34:04 +0200] rev 42441
merged
Jan Rocnik <jan.rocnik@student.tugraz.at> [Sun, 17 Jun 2012 22:33:35 +0200] rev 42440
added first version of cadgme presentation
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"