| 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 |
| Fri, 01 Jul 2005 14:42:05 +0200 | wenzelm | use tracing for potentially voluminous ambiguity output; | changeset | files |
| Fri, 01 Jul 2005 14:42:04 +0200 | wenzelm | added profiler interface (dummy); | changeset | files |
| Fri, 01 Jul 2005 14:42:03 +0200 | wenzelm | added profiler interface, keep 'profiling' of PolyML structure; | changeset | files |
| Fri, 01 Jul 2005 14:42:02 +0200 | wenzelm | added profile flag; | changeset | files |