src/Pure/Admin/build_spass.scala
Fri, 07 May 2021 23:56:18 +0200 wenzelm clarified signature;
Mon, 12 Apr 2021 18:29:34 +0200 wenzelm clarified signature: avoid tmp file;
Mon, 01 Mar 2021 22:22:12 +0100 wenzelm tuned --- fewer warnings;
Sat, 27 Feb 2021 18:04:29 +0100 wenzelm clarified modules: more like ML;
Sat, 28 Nov 2020 21:56:24 +0100 wenzelm added document antiquotation @{tool};
Mon, 12 Oct 2020 16:19:11 +0200 wenzelm clarified signature;
Sun, 11 Oct 2020 17:42:32 +0200 wenzelm tuned whitespace;
Sun, 11 Oct 2020 13:09:43 +0200 wenzelm tuned messages;
Fri, 09 Oct 2020 13:29:27 +0200 wenzelm proper support for Windows/Cygwin;
Fri, 09 Oct 2020 13:12:56 +0200 wenzelm build Isabelle SPASS component from unofficial download;
less more (0) tip