| Thu, 29 Apr 2010 15:00:43 +0200 | haftmann | repaired subtle misunderstanding: statement names are only passed for name resolution | changeset | files |
| Thu, 29 Apr 2010 15:00:43 +0200 | haftmann | fixed underscore typo | changeset | files |
| Thu, 29 Apr 2010 15:00:42 +0200 | haftmann | more coherent naming with ML serializer | changeset | files |
| Thu, 29 Apr 2010 15:00:42 +0200 | haftmann | dropped code_datatype antiquotation | changeset | files |
| Thu, 29 Apr 2010 15:00:41 +0200 | haftmann | dropped unnecessary ML code | changeset | files |
| Thu, 29 Apr 2010 15:00:41 +0200 | haftmann | avoid popular infixes | changeset | files |
| Thu, 29 Apr 2010 15:00:40 +0200 | haftmann | code_reflect: specify module name directly after keyword | changeset | files |