| 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 |