Admin/Linux/Isabelle_app
Wed, 19 Feb 2020 15:40:28 +0100 wenzelm proper file name (amending ce3409dfb18c);
Fri, 10 Jan 2020 16:37:47 +0100 wenzelm clarified script name;
less more (0) tip