Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. proper available hosts;
  2. tuned proof
  3. tuned comments;
  4. add build_manager_database tool to restore db from log files;
  5. use build log in build manager to store meta-data persistently;
  6. add build log format for managed builds;
  7. improve build manager log (for build_log);
  8. clarified;
  9. proper web server address;
  10. clarified names: more canonical;
  11. clarified;
  12. remove unused;
  13. tuned;
Changeset 80346:b5b2f651a263 by fabian huch _huch@in.tum.de_:
proper available hosts;
The file was modified src/Pure/Build/build_manager.scala
Changeset 80345:7d4cd57cd955 by desharna:
tuned proof
The file was modified src/HOL/Library/Multiset.thy
Changeset 80344:f05a71fa1a3f by fabian huch _huch@in.tum.de_:
tuned comments;
The file was modified src/Pure/Build/build_manager.scala
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