lib/Tools/ocaml_opam

clarified signature;

+
−#!/usr/bin/env bash
+
−#
+
−# Author: Makarius
+
−#
+
−# DESCRIPTION: invoke OCaml Package Manager within the Isabelle environment
+
−
+
−isabelle_opam "$@"