Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. clarified example: avoid unpacking into /home/isabelle/components at TUM;
  2. clarified settings and defaults;
Changeset 69435:e18e4532fb42 by wenzelm:
clarified example: avoid unpacking into /home/isabelle/components at TUM;
The file was modified Admin/Release/CHECKLIST
Changeset 69434:b93404a4c3dd by wenzelm:
clarified settings and defaults;
The file was modified etc/settings
The file was modified lib/Tools/components
The file was modified src/Pure/Admin/build_history.scala
The file was modified src/Pure/Admin/build_release.scala
The file was modified src/Pure/Admin/components.scala
The file was modified src/Pure/Admin/other_isabelle.scala