Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. removed obsolete/broken isabelle_scala_script wrapper (see also abf9fcfa65cf);
Changeset 79059:ae682b2aab03 by wenzelm:
removed obsolete/broken isabelle_scala_script wrapper (see also abf9fcfa65cf);
The file was modified Admin/Release/CHECKLIST
The file was modified NEWS
The file was modified lib/Tools/install
The file was modified lib/scripts/getsettings
The file was modified src/Doc/System/Misc.thy
The file was modified src/Doc/System/Scala.thy