Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. sort web app parameters in list;
  2. proper available hosts;
  3. tuned proof
  4. tuned comments;
  5. add build_manager_database tool to restore db from log files;
  6. use build log in build manager to store meta-data persistently;
  7. add build log format for managed builds;
  8. improve build manager log (for build_log);
  9. clarified;
  10. proper web server address;
  11. clarified names: more canonical;
  12. clarified;
  13. remove unused;
  14. tuned;
  15. fixed NEWS
Changeset 80347:613ac8c77a84 by fabian huch _huch@in.tum.de_:
sort web app parameters in list;
The file was modified src/Pure/System/web_app.scala (diff)
Changeset 80346:b5b2f651a263 by fabian huch _huch@in.tum.de_:
proper available hosts;
The file was modified src/Pure/Build/build_manager.scala (diff)
Changeset 80345:7d4cd57cd955 by desharna:
tuned proof
The file was modified src/HOL/Library/Multiset.thy (diff)
Changeset 80344:f05a71fa1a3f by fabian huch _huch@in.tum.de_:
tuned comments;
The file was modified src/Pure/Build/build_manager.scala (diff)
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 (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
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 (diff)
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 (diff)
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 (diff)
Changeset 80339:7b948ca986ec by fabian huch _huch@in.tum.de_:
clarified;
The file was modified src/Pure/Build/build_manager.scala (diff)
Changeset 80338:5a6cc89c8f98 by fabian huch _huch@in.tum.de_:
proper web server address;
The file was modified src/Pure/Build/build_manager.scala (diff)
Changeset 80337:02f8a35ed8e2 by fabian huch _huch@in.tum.de_:
clarified names: more canonical;
The file was modified src/Pure/Build/build_manager.scala (diff)
Changeset 80336:e070eca8c731 by fabian huch _huch@in.tum.de_:
clarified;
The file was modified src/Pure/Build/build_manager.scala (diff)
Changeset 80335:b835b40f53ec by fabian huch _huch@in.tum.de_:
remove unused;
The file was modified src/Pure/Build/build_manager.scala (diff)
Changeset 80334:1e5082785075 by fabian huch _huch@in.tum.de_:
tuned;
The file was modified src/Pure/Build/build_manager.scala (diff)
Changeset 80333:9f7214d00884 by desharna:
fixed NEWS
The file was modified NEWS (diff)