mkoschuc [Mon, 22 Aug 2005 10:12:58 +0200] rev 2922
fixed behaviour of getActiveWorksheet()
jloinig [Sun, 21 Aug 2005 17:41:38 +0200] rev 2921
first try to insert the minibrowser into the brower frame
not finished!!
jloinig [Sun, 21 Aug 2005 13:54:25 +0200] rev 2920
ditignuish between tryMatch and new Site for Browser in ProblemBrowserDialog
jloinig [Sun, 21 Aug 2005 13:53:55 +0200] rev 2919
a new working (?) version of function to get the top level worksheet
wneuper [Sat, 20 Aug 2005 21:20:16 +0200] rev 2918
find out why IntegrateScript doesnt work
wneuper [Sat, 20 Aug 2005 19:10:30 +0200] rev 2917
integration: compile script (Rewrite_Set_Inst seems to enforce
a 'bool' argument for rewriting ?!?
wneuper [Sat, 20 Aug 2005 18:25:14 +0200] rev 2916
integration by rewrite_set, still trying
wneuper [Sat, 20 Aug 2005 18:04:54 +0200] rev 2915
Scripts.rew_sub: repaired (subterms of asms were evaluated)
with a hack (STOP_REW_SUB), which left all but one
(i.e. rational.sml: Schalk I, p.70 Nr. 480a) tests OK
wneuper [Sat, 20 Aug 2005 18:04:54 +0200] rev 2914
Scripts.rew_sub: repaired (subterms of asms were evaluated)
with a hack (STOP_REW_SUB), which left all but one
(i.e. rational.sml: Schalk I, p.70 Nr. 480a) tests OK
wneuper [Sat, 20 Aug 2005 18:04:54 +0200] rev 2913
Scripts.rew_sub: repaired (subterms of asms were evaluated)
with a hack (STOP_REW_SUB), which left all but one
(i.e. rational.sml: Schalk I, p.70 Nr. 480a) tests OK