| 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 |