| Tue, 04 Oct 2005 23:30:46 +0200 | nipkow | new lemmas | changeset | files |
| Tue, 04 Oct 2005 21:39:16 +0200 | wenzelm | added compiler and runtime options; | changeset | files |
| Tue, 04 Oct 2005 21:33:09 +0200 | wenzelm | Poplog/PML startup script. | changeset | files |
| Tue, 04 Oct 2005 20:38:13 +0200 | wenzelm | Compatibility file for Poplog/PML (version 15.6/2.1). | changeset | files |
| Tue, 04 Oct 2005 19:05:37 +0200 | wenzelm | Substring.all = Substring.full; | changeset | files |
| Tue, 04 Oct 2005 19:01:37 +0200 | wenzelm | minor tweaks for Poplog/ML; | changeset | files |
| Tue, 04 Oct 2005 16:47:40 +0200 | wenzelm | find_theorems: support * wildcard in name: criterion; | changeset | files |