Mon, 26 Jan 2004 15:33:51 +0100 | schirmer | \\<...> will be converted to \<...> | changeset | files |
Mon, 26 Jan 2004 10:34:02 +0100 | schirmer | * Support for raw latex output in control symbols: \<^raw...> | changeset | files |
Sun, 25 Jan 2004 00:42:22 +0100 | nipkow | Added an exception handler and error msg. | changeset | files |
Tue, 20 Jan 2004 13:56:27 +0100 | schirmer | Added print translation for pairs | changeset | files |
Tue, 20 Jan 2004 13:55:22 +0100 | schirmer | cleaning up | changeset | files |
Wed, 14 Jan 2004 07:53:27 +0100 | kleing | print translation for ALL x <= n. P x | changeset | files |
Wed, 14 Jan 2004 04:41:16 +0100 | nipkow | fixed old bugs in "decomp" (conversion from term to lin.arith. format). | changeset | files |