Mon, 29 Nov 2004 11:12:19 +0100 | nipkow | New | changeset | files |
Mon, 29 Nov 2004 06:09:45 +0100 | kleing | render \<circ> as o not ˆ (which is ^) | changeset | files |
Thu, 25 Nov 2004 20:33:35 +0100 | webertj | minor code refactoring (typ_of_dtyp, size_of_dtyp) | changeset | files |
Thu, 25 Nov 2004 19:25:03 +0100 | webertj | exception CANNOT_INTERPRET removed (not needed anymore since the stlc_interpreter can interpret any term) | changeset | files |
Thu, 25 Nov 2004 19:04:32 +0100 | webertj | comments edited | changeset | files |
Thu, 25 Nov 2004 14:44:52 +0100 | webertj | added ZCHAFF_VERSION | changeset | files |
Thu, 25 Nov 2004 14:38:37 +0100 | webertj | added ZCHAFF_VERSION | changeset | files |