| 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 |
| 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 |
| Fri, 23 Dec 2005 18:36:27 +0100 | wenzelm | removed obsolete atomize_old; | changeset | files |