Walther Neuper <neuper@ist.tugraz.at> [Tue, 19 Jul 2011 09:30:10 +0200] rev 42107
intermed: uncomment tests with CompleteCalc
Walther Neuper <neuper@ist.tugraz.at> [Mon, 18 Jul 2011 17:21:21 +0200] rev 42106
intermed: test/../Frontend/interface.sml
Walther Neuper <neuper@ist.tugraz.at> [Mon, 18 Jul 2011 16:42:26 +0200] rev 42105
finished: make autocalc..CompleteCalc run with x+1=2
Walther Neuper <neuper@ist.tugraz.at> [Mon, 18 Jul 2011 16:39:22 +0200] rev 42104
tuned
Walther Neuper <neuper@ist.tugraz.at> [Mon, 18 Jul 2011 16:37:30 +0200] rev 42103
intermed: make autocalc..CompleteCalc run with x+1=2
error was in fun all_modspec: used string of formalization
for constraining types in ctxt instead of pors.
Walther Neuper <neuper@ist.tugraz.at> [Mon, 18 Jul 2011 15:48:54 +0200] rev 42102
tuned
Walther Neuper <neuper@ist.tugraz.at> [Mon, 18 Jul 2011 15:29:25 +0200] rev 42101
merged
Walther Neuper <neuper@ist.tugraz.at> [Mon, 18 Jul 2011 15:29:14 +0200] rev 42100
tuned
Thomas Leh <t.leh@gmx.at> [Mon, 18 Jul 2011 15:20:40 +0200] rev 42099
Automated merge with https://intra.ist.tugraz.at/hg/isa/
Thomas Leh <t.leh@gmx.at> [Mon, 18 Jul 2011 15:20:04 +0200] rev 42098
TESTS not WORKING !
intermed: autocalculuate..CompleteCalc
? done in Knowledge/diophanteq.sml ?
test/Tools/isac/Knowledge/polyminus.sml