Mon, 21 Dec 2020 13:58:11 +0100 | wenzelm | rebuild component with proper ZIPPERPOSITION_HOME for sledgehammer; | file | diff | annotate |
Wed, 16 Dec 2020 23:11:54 +0100 | wenzelm | proper support for Windows/Cygwin; | file | diff | annotate |
Wed, 16 Dec 2020 16:56:07 +0100 | wenzelm | updated to zipperposition-2.0 and ocaml-4.07, which is required for it; | file | diff | annotate |
Sat, 28 Nov 2020 21:56:24 +0100 | wenzelm | added document antiquotation @{tool}; | file | diff | annotate |
Tue, 13 Oct 2020 20:29:13 +0200 | wenzelm | more robust; | file | diff | annotate |
Tue, 13 Oct 2020 19:24:59 +0200 | wenzelm | proper support for Windows/Cygwin: "zipperposition" vs. "zipperposition.exe"; | file | diff | annotate |
Tue, 13 Oct 2020 19:12:58 +0200 | wenzelm | build Isabelle Zipperposition component from OPAM repository; | file | diff | annotate |