| Fri, 11 Jul 2008 09:02:26 +0200 | haftmann | explicit dependency | changeset | files |
| Fri, 11 Jul 2008 09:02:24 +0200 | haftmann | class instead of axclass | changeset | files |
| Fri, 11 Jul 2008 09:02:23 +0200 | haftmann | tuned import | changeset | files |
| Fri, 11 Jul 2008 09:02:22 +0200 | haftmann | separate class dvd for divisibility predicate | changeset | files |
| Fri, 11 Jul 2008 00:35:19 +0200 | kleing | temporarily disable at-sml-dev-p | changeset | files |
| Thu, 10 Jul 2008 22:47:26 +0200 | wenzelm | updated generated file; | changeset | files |
| Thu, 10 Jul 2008 21:12:34 +0200 | wenzelm | restart: Isar.init_point; | changeset | files |
| Thu, 10 Jul 2008 21:03:47 +0200 | wenzelm | proper_inform_file_processed: Isar.init_point starts fresh command sequence; | changeset | files |