Sun, 29 Jul 2018 13:18:10 +0200 | wenzelm | Added tag Isabelle2018-RC3 for changeset 71aa5a9128c2 | changeset | files |
Sat, 28 Jul 2018 21:21:26 +0200 | wenzelm | proper return code (true) if file is absent; | changeset | files |
Sat, 28 Jul 2018 19:55:14 +0200 | wenzelm | clarified word syntax for the sake of control symbols, e.g. \<^term>; | changeset | files |