| Wed, 07 Feb 2007 17:44:07 +0100 | berghofe | Adapted to new inductive definition package. | file | diff | annotate |
| Tue, 31 Oct 2006 09:28:56 +0100 | haftmann | adapted to new serializer syntax | file | diff | annotate |
| Tue, 10 Oct 2006 09:17:21 +0200 | haftmann | removed quote in serialization | file | diff | annotate |