| Sat, 25 May 2013 15:44:08 +0200 | haftmann | tuned structure | changeset | files |
| Sat, 25 May 2013 13:59:08 +0200 | noschinl | add lemma | changeset | files |
| Fri, 24 May 2013 23:57:24 +0200 | haftmann | bookkeeping and input syntax for exact specification of names of symbols in generated code | changeset | files |
| Fri, 24 May 2013 23:57:24 +0200 | haftmann | use generic data for code symbols for unified "code_printing" syntax for custom serialisations | changeset | files |
| Fri, 24 May 2013 23:57:24 +0200 | haftmann | dedicated module for code symbol data | changeset | files |
| Fri, 24 May 2013 23:57:24 +0200 | haftmann | symbol data covers class relations also | changeset | files |
| Fri, 24 May 2013 22:07:01 +0200 | wenzelm | merged | changeset | files |
| Fri, 24 May 2013 17:14:06 +0200 | wenzelm | proper internal error, not user error; | changeset | files |