Summary
- sort web app parameters in list;
- proper available hosts;
- tuned proof
- tuned comments;
- add build_manager_database tool to restore db from log files;
- use build log in build manager to store meta-data persistently;
- add build log format for managed builds;
- improve build manager log (for build_log);
- clarified;
- proper web server address;
- clarified names: more canonical;
- clarified;
- remove unused;
- tuned;
- fixed NEWS
The file was modified | src/Pure/System/web_app.scala (diff) |
The file was modified | src/Pure/Build/build_manager.scala (diff) |
The file was modified | src/HOL/Library/Multiset.thy (diff) |
The file was modified | src/Pure/Build/build_manager.scala (diff) |
The file was modified | src/Pure/Build/build_manager.scala (diff) |
The file was modified | src/Pure/System/isabelle_tool.scala (diff) |
The file was modified | src/Pure/Build/build_manager.scala (diff) |
The file was modified | src/Pure/Admin/build_log.scala (diff) |
The file was modified | src/Pure/Build/build_manager.scala (diff) |
The file was modified | src/Pure/Build/build_manager.scala (diff) |
The file was modified | src/Pure/Build/build_manager.scala (diff) |
The file was modified | src/Pure/Build/build_manager.scala (diff) |
The file was modified | src/Pure/Build/build_manager.scala (diff) |
The file was modified | src/Pure/Build/build_manager.scala (diff) |
The file was modified | src/Pure/Build/build_manager.scala (diff) |
The file was modified | NEWS (diff) |