| Fri, 30 Dec 2005 16:56:57 +0100 | wenzelm | fixed final_consts; | changeset | files |
| Fri, 30 Dec 2005 16:56:56 +0100 | wenzelm | provide cla_dist_concl; | changeset | files |
| Fri, 30 Dec 2005 16:56:54 +0100 | wenzelm | non-PDF: phantomsection; | changeset | files |
| Thu, 29 Dec 2005 16:10:58 +0100 | haftmann | added atom keyword | changeset | files |
| Thu, 29 Dec 2005 15:31:27 +0100 | haftmann | changes in code generator keywords | changeset | files |
| Thu, 29 Dec 2005 15:31:10 +0100 | haftmann | adaptions to changes in code generator | changeset | files |
| Thu, 29 Dec 2005 15:30:52 +0100 | haftmann | slight improvements | changeset | files |
| Wed, 28 Dec 2005 21:14:23 +0100 | haftmann | slightly improved serialization | changeset | files |