| Tue, 15 Jun 2004 13:24:02 +0200 | wenzelm | path instead of string; | changeset | files |
| Tue, 15 Jun 2004 13:23:39 +0200 | wenzelm | added path; | changeset | files |
| Tue, 15 Jun 2004 13:23:23 +0200 | wenzelm | tuned lexical syntax; | changeset | files |
| Tue, 15 Jun 2004 13:22:56 +0200 | wenzelm | num tokens; | changeset | files |
| Tue, 15 Jun 2004 10:47:08 +0200 | paulson | fixed bad link | changeset | files |
| Tue, 15 Jun 2004 10:46:33 +0200 | paulson | slight speed improvement | changeset | files |
| Tue, 15 Jun 2004 10:40:05 +0200 | paulson | strengthened some theorems | changeset | files |
| Tue, 15 Jun 2004 00:50:10 +0200 | webertj | Jerusat settings added | changeset | files |