Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. removed generated code from versioning
  2. show setup for String.literal
Changeset 10194:bc1132da8c04 by haftmann:
removed generated code from versioning
The file was modified .hgignore
The file was removedthys/CAVA_LTL_Modelchecker/code/examples/mulog/Mulog_Export.sml
Changeset 10193:1ebd92af3c04 by haftmann:
show setup for String.literal
The file was modified thys/Show/Show.thy

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. include zarith in the default opam setup
  2. dedicated environment setting for ocaml environment: ISABELLE_OPAM_ROOT is always present even if no envionrment is available
Changeset 69911:036037573080 by haftmann:
include zarith in the default opam setup
The file was modified NEWS
The file was modified lib/Tools/ocaml_setup
Changeset 69910:0c0f7b4a72bf by haftmann:
dedicated environment setting for ocaml environment: ISABELLE_OPAM_ROOT is always present even if no envionrment is available
The file was modified lib/scripts/getsettings
The file was modified src/Tools/Code/code_ml.ML