src/Pure/Admin/build_zipperposition.scala
Fri, 01 Apr 2022 17:06:10 +0200 wenzelm clarified formatting, for the sake of scala3;
Mon, 04 Oct 2021 23:47:15 +0200 wenzelm no patchelf on macOS (undetected due to cached executables?);
Mon, 27 Sep 2021 20:45:26 +0200 wenzelm provide zipperposition-2.1 (still unused);
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;
Mon, 21 Dec 2020 13:58:11 +0100 wenzelm rebuild component with proper ZIPPERPOSITION_HOME for sledgehammer;
Wed, 16 Dec 2020 23:11:54 +0100 wenzelm proper support for Windows/Cygwin;
Wed, 16 Dec 2020 16:56:07 +0100 wenzelm updated to zipperposition-2.0 and ocaml-4.07, which is required for it;
Sat, 28 Nov 2020 21:56:24 +0100 wenzelm added document antiquotation @{tool};
Tue, 13 Oct 2020 20:29:13 +0200 wenzelm more robust;
Tue, 13 Oct 2020 19:24:59 +0200 wenzelm proper support for Windows/Cygwin: "zipperposition" vs. "zipperposition.exe";
Tue, 13 Oct 2020 19:12:58 +0200 wenzelm build Isabelle Zipperposition component from OPAM repository;
less more (0) tip