Mon, 10 Dec 2018 20:00:02 +0100 | wenzelm | clarified input_line: exclude terminator (its only use in Isabelle_Process.read_command is is unaffected, due to liberal Int.fromString); | changeset | files |
Sun, 09 Dec 2018 20:19:31 +0100 | wenzelm | tuned message; | changeset | files |
Sun, 09 Dec 2018 20:15:47 +0100 | wenzelm | updated to scala-2.12.8; | changeset | files |