| Wed, 28 Jan 2004 01:19:34 +0100 | kleing | remove more files (index, log files) for -c option | changeset | files |
| Tue, 27 Jan 2004 15:49:33 +0100 | paulson | replacing HOL/Real/PRat, PNat by the rational number development | changeset | files |
| Tue, 27 Jan 2004 15:39:51 +0100 | paulson | replacing HOL/Real/PRat, PNat by the rational number development | changeset | files |
| Tue, 27 Jan 2004 09:44:14 +0100 | schirmer | \<^raw...> does no longer print an additional space. | changeset | files |
| 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 |