Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. clarified names;
  2. clarified name: avoid clash with Library.Update;
  3. clarified signature;
Changeset 80274:cff00b3dddf5 by wenzelm:
clarified names;
The file was addedsrc/Pure/update.scala
The file was modified etc/build.props
The file was modified src/Pure/Build/build_manager.scala
The file was modified src/Pure/Build/build_process.scala
The file was modified src/Pure/Build/build_schedule.scala
The file was modified src/Pure/library.scala
Changeset 80273:f55a11cd3b71 by wenzelm:
clarified name: avoid clash with Library.Update;
The file was addedsrc/Pure/Tools/update_tool.scala
The file was modified etc/build.props
The file was modified src/Pure/System/isabelle_tool.scala
The file was removedsrc/Pure/Tools/update.scala
Changeset 80272:9f89b3c41460 by wenzelm:
clarified signature;
The file was modified src/Pure/Build/build_manager.scala
The file was modified src/Pure/Build/build_process.scala
The file was modified src/Pure/library.scala
The file was modified src/Pure/name.scala