| Thu, 20 Oct 2022 20:14:35 +0200 | wenzelm | more robust read_file: prefer implicit replacement of bad input instead of failure via MalformedInputException; | changeset | files |
| Thu, 20 Oct 2022 17:05:06 +0200 | wenzelm | more informative errors, with optional exception trace as in Command_Line.tool; | changeset | files |
| Thu, 20 Oct 2022 14:59:39 +0200 | wenzelm | more robust reset of CLASSPATH: unset variable means "." in certain situations, e.g. scalac; | changeset | files |
| Wed, 19 Oct 2022 16:01:07 +0200 | wenzelm | proper chapter for each ROOT file (amending b07f2ff55144); | changeset | files |
| Thu, 20 Oct 2022 12:57:06 +0100 | paulson | tidying of ugly legacy proofs | changeset | files |
| Wed, 19 Oct 2022 15:34:41 +0100 | paulson | Tidying of old and ugly proofs | changeset | files |