Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- 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;
The file was modified | src/Pure/Build/build_manager.scala |
The file was modified | src/HOL/Library/Multiset.thy |
The file was modified | src/Pure/Build/build_manager.scala |
The file was modified | src/Pure/Build/build_manager.scala |
The file was modified | src/Pure/System/isabelle_tool.scala |
The file was modified | src/Pure/Build/build_manager.scala |
The file was modified | src/Pure/Admin/build_log.scala |
The file was modified | src/Pure/Build/build_manager.scala |
The file was modified | src/Pure/Build/build_manager.scala |
The file was modified | src/Pure/Build/build_manager.scala |
The file was modified | src/Pure/Build/build_manager.scala |
The file was modified | src/Pure/Build/build_manager.scala |
The file was modified | src/Pure/Build/build_manager.scala |
The file was modified | src/Pure/Build/build_manager.scala |