Mon, 28 Jun 1999 21:41:02 +0200 cond_extern_table;
wenzelm [Mon, 28 Jun 1999 21:41:02 +0200] rev 6846
cond_extern_table;
Mon, 28 Jun 1999 21:38:50 +0200 added cond_extern_table;
wenzelm [Mon, 28 Jun 1999 21:38:50 +0200] rev 6845
added cond_extern_table;
Fri, 25 Jun 1999 13:37:51 +0200 branching_level = 400;
wenzelm [Fri, 25 Jun 1999 13:37:51 +0200] rev 6844
branching_level = 400;
Wed, 23 Jun 1999 10:40:13 +0200 tidied
paulson [Wed, 23 Jun 1999 10:40:13 +0200] rev 6843
tidied
Wed, 23 Jun 1999 10:39:35 +0200 renamed PPI to plam
paulson [Wed, 23 Jun 1999 10:39:35 +0200] rev 6842
renamed PPI to plam simplified the definition of lift_act
Wed, 23 Jun 1999 10:38:49 +0200 renamed PPI to plam
paulson [Wed, 23 Jun 1999 10:38:49 +0200] rev 6841
renamed PPI to plam
Wed, 23 Jun 1999 10:38:09 +0200 another non-working snapshot
paulson [Wed, 23 Jun 1999 10:38:09 +0200] rev 6840
another non-working snapshot
Wed, 23 Jun 1999 10:37:29 +0200 new distributive laws involving * and -
paulson [Wed, 23 Jun 1999 10:37:29 +0200] rev 6839
new distributive laws involving * and -
Wed, 23 Jun 1999 10:36:59 +0200 rewrite rules to distribute CONSTANT multiplication over sum and difference;
paulson [Wed, 23 Jun 1999 10:36:59 +0200] rev 6838
rewrite rules to distribute CONSTANT multiplication over sum and difference; removed automatic rewriting of 2x to x+x
Thu, 17 Jun 1999 10:43:05 +0200 another snapshot, still not working
paulson [Thu, 17 Jun 1999 10:43:05 +0200] rev 6837
another snapshot, still not working
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip