# HG changeset patch # User wenzelm # Date 1539805017 -7200 # Node ID 8c501c406d24a0869a27b3a7c7a65ab216ff53c9 # Parent d0517da45e5c5ce4c3d627493b93a7140ca35e20 tuned message; diff -r d0517da45e5c -r 8c501c406d24 lib/Tools/ocaml_setup --- a/lib/Tools/ocaml_setup Wed Oct 17 20:25:51 2018 +0200 +++ b/lib/Tools/ocaml_setup Wed Oct 17 21:36:57 2018 +0200 @@ -2,7 +2,7 @@ # # Author: Makarius # -# DESCRIPTION: OCaml setup via OPAM +# DESCRIPTION: setup OCaml setup via OPAM if [ -d "$ISABELLE_OPAM_ROOT" ] then