Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. add build_manager_database tool to restore db from log files;
  2. use build log in build manager to store meta-data persistently;
  3. add build log format for managed builds;
  4. improve build manager log (for build_log);
  5. clarified;
  6. proper web server address;
  7. clarified names: more canonical;
  8. clarified;
  9. remove unused;
  10. tuned;
Changeset 80343:595b362ab851 by fabian huch _huch@in.tum.de_:
add build_manager_database tool to restore db from log files;
The file was modified src/Pure/Build/build_manager.scala
The file was modified src/Pure/System/isabelle_tool.scala
Changeset 80342:35bee9c44e1a by fabian huch _huch@in.tum.de_:
use build log in build manager to store meta-data persistently;
The file was modified src/Pure/Build/build_manager.scala
Changeset 80341:b061568ae52d by fabian huch _huch@in.tum.de_:
add build log format for managed builds;
The file was modified src/Pure/Admin/build_log.scala
Changeset 80340:992bd899a027 by fabian huch _huch@in.tum.de_:
improve build manager log (for build_log);
The file was modified src/Pure/Build/build_manager.scala
Changeset 80339:7b948ca986ec by fabian huch _huch@in.tum.de_:
clarified;
The file was modified src/Pure/Build/build_manager.scala
Changeset 80338:5a6cc89c8f98 by fabian huch _huch@in.tum.de_:
proper web server address;
The file was modified src/Pure/Build/build_manager.scala
Changeset 80337:02f8a35ed8e2 by fabian huch _huch@in.tum.de_:
clarified names: more canonical;
The file was modified src/Pure/Build/build_manager.scala
Changeset 80336:e070eca8c731 by fabian huch _huch@in.tum.de_:
clarified;
The file was modified src/Pure/Build/build_manager.scala
Changeset 80335:b835b40f53ec by fabian huch _huch@in.tum.de_:
remove unused;
The file was modified src/Pure/Build/build_manager.scala
Changeset 80334:1e5082785075 by fabian huch _huch@in.tum.de_:
tuned;
The file was modified src/Pure/Build/build_manager.scala