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