wneuper [Sun, 28 Aug 2005 16:42:00 +0200] rev 348
search error in Add_Find "antiDerivativeName M_b"
wneuper [Sun, 28 Aug 2005 16:09:45 +0200] rev 347
Scripts/scrtools#is_dsc improved
wneuper [Sun, 28 Aug 2005 13:47:10 +0200] rev 346
prohibit "FF + c = x ^^^ 3 / 3 + x + c", intermediate state
wneuper [Sun, 28 Aug 2005 10:19:35 +0200] rev 345
Assumptions made 'distinct' in rewrite__, rewrite_set_ etc.
(which didn't change any behaviour in smltest).
Reason for this (wrongfully?!) was that get_assumptions
returned multiple asms
wneuper [Fri, 26 Aug 2005 18:14:36 +0200] rev 344
Biegelinie, EqSystem added
wneuper [Fri, 26 Aug 2005 16:37:39 +0200] rev 343
init_scrstate now optionally takes Finds,too,
for the scripts environment; still ERROR:
"FF + c = x ^^^ 3 / 3 + x + c"
wneuper [Tue, 23 Aug 2005 18:44:06 +0200] rev 342
make Take works in ["Diff","integration"]
["Diff","integration","named"] doesn't work still
wneuper [Tue, 23 Aug 2005 17:08:58 +0200] rev 341
make Take work, intermediate state
wneuper [Tue, 23 Aug 2005 14:53:30 +0200] rev 340
make Take work, intermediate state
wneuper [Mon, 22 Aug 2005 17:03:25 +0200] rev 339
stacs Take, Substitute added