lib/Tools/ocaml_opam
author paulson
Tue, 07 Feb 2023 14:10:15 +0000
changeset 77222 0c073854e6ce
parent 69135 be20f5f6feb9
permissions -rwxr-xr-x
merged

#!/usr/bin/env bash
#
# Author: Makarius
#
# DESCRIPTION: invoke OCaml Package Manager within the Isabelle environment

isabelle_opam "$@"