| 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 |
| Tue, 27 Dec 2005 15:24:40 +0100 | haftmann | substantial improvements in code generating | changeset | files |
| Tue, 27 Dec 2005 15:24:23 +0100 | haftmann | added map_index | changeset | files |
| Fri, 23 Dec 2005 20:02:30 +0100 | wenzelm | tuned proofs; | changeset | files |