| Fri, 01 Jul 2005 22:29:19 +0200 | wenzelm | back to 1.28; | changeset | files |
| Fri, 01 Jul 2005 17:41:10 +0200 | nipkow | prime is a predicate now. | changeset | files |
| Fri, 01 Jul 2005 14:55:05 +0200 | wenzelm | * Isar profiling: new reference Toplevel.profiling (default 0); | changeset | files |