| Thu, 28 Sep 2006 19:04:13 +0200 | huffman | rearranged axioms and simp rules for scaleR | changeset | files |
| Thu, 28 Sep 2006 16:01:48 +0200 | paulson | clearout of obsolete code | changeset | files |
| Thu, 28 Sep 2006 16:01:34 +0200 | paulson | addition of combinators | changeset | files |
| Thu, 28 Sep 2006 15:30:03 +0200 | wenzelm | tuned messages; | changeset | files |
| Thu, 28 Sep 2006 11:56:30 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 28 Sep 2006 11:55:56 +0200 | wenzelm | LD_LIBRARY_PATH; | changeset | files |
| Thu, 28 Sep 2006 11:04:41 +0200 | paulson | Definitions produced by packages are now blacklisted. | changeset | files |