Walther Neuper <wneuper@ist.tugraz.at> [Sat, 27 Aug 2016 16:57:18 +0200] rev 59240
improve error messages for writing Isac programs
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 27 Aug 2016 11:26:28 +0200] rev 59239
push "ERROR in creating the environment.." up to math-engine
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 27 Aug 2016 10:56:42 +0200] rev 59238
actually updated code according to previous changeset
Note: Test_Isac.thy is ok.
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 27 Aug 2016 10:38:26 +0200] rev 59237
excluded "ERROR in creating the environment.." FROM "helpless"
Note: exn handling urgently needs improvement
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 27 Aug 2016 09:40:52 +0200] rev 59236
test for tactic Specify_Method
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 27 Aug 2016 05:04:53 +0200] rev 59235
improved error message
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 26 Aug 2016 12:25:03 +0200] rev 59234
separate 'type xlist' for Lucas-Interpretation
Note: xlist is not yet used, only tested with insertion sort.
TODO: switch 'list' and 'xlist'; intermediately outcomment InsSort.thy, inssort.sml
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 26 Aug 2016 12:02:43 +0200] rev 59233
tuned
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 25 Aug 2016 14:57:58 +0200] rev 59232
insertion sort RUNs by rewriting
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 25 Aug 2016 08:19:58 +0200] rev 59231
simplified insertion sort