| Tue, 27 Jan 2004 08:15:10 +0100 | nipkow | Reduced space for xsymbols output of [| |] ==> from 3 to 1 | changeset | files |
| 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 |