lib/Tools/ocaml_opam
author wenzelm
Wed Nov 07 21:42:16 2018 +0100 (9 months ago)
changeset 69255 800b1ce96fce
parent 69135 be20f5f6feb9
permissions -rwxr-xr-x
more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
wenzelm@69135
     1
#!/usr/bin/env bash
wenzelm@69135
     2
#
wenzelm@69135
     3
# Author: Makarius
wenzelm@69135
     4
#
wenzelm@69135
     5
# DESCRIPTION: invoke OCaml Package Manager within the Isabelle environment
wenzelm@69135
     6
wenzelm@69135
     7
isabelle_opam "$@"