Mercurial Mercurial > wneuper > isac / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | bz2 | gz | help
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 tip
Sat, 20 Aug 2005 13:00:20 +0200eval_* reactivated argument "Theory.operator" in Tools, Atools;
changeset
wneuper [Sat, 20 Aug 2005 13:00:20 +0200] rev 2908
eval_* reactivated argument "Theory.operator" in Tools, Atools;
exept Atools.is_const which caused diff.behav. with some rootequ

Sat, 20 Aug 2005 13:00:20 +0200eval_* reactivated argument "Theory.operator" in Tools, Atools;
changeset
wneuper [Sat, 20 Aug 2005 13:00:20 +0200] rev 2907
eval_* reactivated argument "Theory.operator" in Tools, Atools;
exept Atools.is_const which caused diff.behav. with some rootequ

Fri, 19 Aug 2005 19:47:09 +0200get_pair testing t1 $ t2
changeset
wneuper [Fri, 19 Aug 2005 19:47:09 +0200] rev 2906
get_pair testing t1 $ t2

Fri, 19 Aug 2005 19:19:20 +0200get_pair removed recursion into argument for unary funs
changeset
wneuper [Fri, 19 Aug 2005 19:19:20 +0200] rev 2905
get_pair removed recursion into argument for unary funs

Fri, 19 Aug 2005 19:09:19 +0200add_new_c for integration, still trying
changeset
wneuper [Fri, 19 Aug 2005 19:09:19 +0200] rev 2904
add_new_c for integration, still trying

Fri, 19 Aug 2005 19:09:19 +0200add_new_c for integration, still trying
changeset
wneuper [Fri, 19 Aug 2005 19:09:19 +0200] rev 2903
add_new_c for integration, still trying

Fri, 19 Aug 2005 18:29:07 +0200add_new_c for integration, still trying
changeset
wneuper [Fri, 19 Aug 2005 18:29:07 +0200] rev 2902
add_new_c for integration, still trying

Fri, 19 Aug 2005 18:27:48 +0200add_new_c for integration, still trying
changeset
wneuper [Fri, 19 Aug 2005 18:27:48 +0200] rev 2901
add_new_c for integration, still trying

Fri, 19 Aug 2005 18:27:16 +0200add_new_c for integration, still trying
changeset
wneuper [Fri, 19 Aug 2005 18:27:16 +0200] rev 2900
add_new_c for integration, still trying

Fri, 19 Aug 2005 18:27:16 +0200add_new_c for integration, still trying
changeset
wneuper [Fri, 19 Aug 2005 18:27:16 +0200] rev 2899
add_new_c for integration, still trying

(0) -1000 -300 -100 -10 +10 +100 +300 +1000 tip
wneuper/isac