Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. allow to switch ISABELLE_OCAML_VERSION later on; simplified command-line: no user args;
  2. merged
  3. Jenkins: run ocaml_setup
Changeset 69139:4f3d93f0ba94 by wenzelm:
allow to switch ISABELLE_OCAML_VERSION later on;<br>simplified command-line: no user args;
The file was modified lib/Tools/ocaml_setup (diff)
Changeset 69138:9e12bbe91471 by lars hupel _lars.hupel@mytum.de_:
merged
Changeset 69137:90fce429e1bc by lars hupel _lars.hupel@mytum.de_:
Jenkins: run ocaml_setup
The file was modified Admin/jenkins/run_build (diff)
The file was modified src/Pure/name.ML (diff)
The file was modified src/Pure/raw_simplifier.ML (diff)