| Fri, 04 Aug 2017 08:12:37 +0200 | haftmann | prefer explicit datatype over implicit sum; | changeset | files |
| Fri, 04 Aug 2017 08:12:37 +0200 | haftmann | compactified output | changeset | files |
| Thu, 03 Aug 2017 12:50:03 +0200 | haftmann | lifting setup for char | changeset | files |
| Thu, 03 Aug 2017 12:50:02 +0200 | haftmann | one single plugin for code type declarations avoids problems when bootstrapping new plugins over types which have been both declared concrete and abstract in their code historiy | changeset | files |
| Thu, 03 Aug 2017 12:50:01 +0200 | haftmann | uniform namespace handling for both concrete and abstract types, following 32e0da92c786 | changeset | files |
| Thu, 03 Aug 2017 12:50:00 +0200 | haftmann | clarified | changeset | files |
| Thu, 03 Aug 2017 12:49:59 +0200 | haftmann | corrected slip | changeset | files |
| Thu, 03 Aug 2017 12:49:58 +0200 | haftmann | tuned | changeset | files |