| Fri, 28 Nov 2008 11:37:20 +0100 | kleing | FindTheorems performance improvements (from Timothy Bourke) | changeset | files |
| Fri, 28 Nov 2008 11:14:13 +0100 | ballarin | Perform higher-order pattern matching during round-up. | changeset | files |
| Thu, 27 Nov 2008 21:25:34 +0100 | ballarin | Proper treatment of expressions with free arguments. | changeset | files |
| Thu, 27 Nov 2008 21:25:16 +0100 | ballarin | Roundup bound. | changeset | files |
| Thu, 27 Nov 2008 10:30:42 +0100 | ballarin | Tests for sublocale command. | changeset | files |
| Thu, 27 Nov 2008 10:29:07 +0100 | ballarin | Sublocale command. | changeset | files |
| Thu, 27 Nov 2008 10:28:27 +0100 | ballarin | Command to add dependencies, fixed processing of dependencies. | changeset | files |