Console Output

+ bin/isabelle ocaml_setup
# Run eval $(opam env) to update the current shell environment
[NOTE] Package zarith is already installed (current version is 1.12).