| Wed, 05 Dec 2018 21:36:18 +0100 | wenzelm | clarified absolute isabelle_home and (implicitly) isabelle_home_user; | changeset | files |
| Wed, 05 Dec 2018 21:35:54 +0100 | wenzelm | tuned messages; | changeset | files |
| Wed, 05 Dec 2018 21:15:18 +0100 | wenzelm | more direct File.link operation: avoid external process; | changeset | files |