lib/Tools/ocaml_setup

support for OCaml via command-line tools;

+
−#!/usr/bin/env bash
+
−#
+
−# Author: Makarius
+
−#
+
−# DESCRIPTION: OCaml setup via OPAM
+
−
+
−isabelle_opam init --no-setup --compiler="$ISABELLE_OCAML_VERSION" "$@"