Thu, 04 Dec 2008 12:32:38 -0800 | huffman | add named lemma lists: neg_simps and iszero_simps | changeset | files |
Thu, 04 Dec 2008 11:14:24 -0800 | huffman | change arith_special simps to avoid using neg | changeset | files |
Fri, 05 Dec 2008 11:35:07 +1100 | kleing | merged | changeset | files |
Fri, 05 Dec 2008 11:33:03 +1100 | kleing | run test for sunbroy2 on /tmp, | changeset | files |
Fri, 05 Dec 2008 00:23:37 +0100 | wenzelm | merged | changeset | files |
Thu, 04 Dec 2008 23:46:20 +0100 | wenzelm | refined Future.fork interfaces, no longer export Future.future; | changeset | files |
Thu, 04 Dec 2008 23:46:20 +0100 | wenzelm | fork/map: no inheritance of group (structure is nested, not parallel); | changeset | files |