proper support for Windows/Cygwin: "zipperposition" vs. "zipperposition.exe";
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE04403e1ef176: build Isabelle Zipperposition component from OPAM repository;
- Branches
- Unknown
- Tags