| Thu, 21 Mar 2019 12:38:06 +0100 | wenzelm | updated to current opam-2.0.3, which is also the version provided by Cygwin 3.0.4; | file | diff | annotate |
| Mon, 08 Oct 2018 12:52:28 +0200 | wenzelm | isabelle_opam as portable shell function; | file | diff | annotate |