| Fri, 28 Nov 2008 12:26:14 +0100 | ballarin | Ahere to modern naming conventions; proper treatment of internal vs external names. | changeset | files |
| Fri, 28 Nov 2008 11:55:46 +0100 | kleing | added Tim's find_theorems performance patch | changeset | files |
| 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 |