| Fri, 11 Jul 2008 09:02:33 +0200 | haftmann | simple inheritance concept | changeset | files |
| Fri, 11 Jul 2008 09:02:32 +0200 | haftmann | tuned thyname lookup | changeset | files |
| Fri, 11 Jul 2008 09:02:31 +0200 | haftmann | fixed layout | changeset | files |
| Fri, 11 Jul 2008 09:02:30 +0200 | haftmann | explicit completions of arities | changeset | files |
| Fri, 11 Jul 2008 09:02:29 +0200 | haftmann | tuned order | changeset | files |
| Fri, 11 Jul 2008 09:02:28 +0200 | haftmann | antiquotation | changeset | files |
| Fri, 11 Jul 2008 09:02:27 +0200 | haftmann | improved code generator setup | changeset | files |
| 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 |