Summary
- read prefs properly;
- allow explicit Isabelle rev in build task (e.g., for older Isabelle versions);
- web app: proper document height;
- merged
- replace manual def. of timing function
- add build manager module;
- support ci job via hg_sync (cf. 7883f221d6d3);
- tuned;
- use Content-Digest header in HEAD requests instead of length (to track non-monotone changes);
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/web_app.scala (diff) |
The file was modified | src/HOL/Data_Structures/Sorting.thy (diff) |
The file was added | src/Pure/Build/build_manager.scala |
The file was modified | etc/build.props (diff) |
The file was modified | etc/options (diff) |
The file was modified | src/Pure/System/isabelle_tool.scala (diff) |
The file was modified | src/Pure/Admin/ci_build.scala (diff) |
The file was modified | src/Pure/System/web_app.scala (diff) |
The file was modified | src/Pure/General/http.scala (diff) |
The file was modified | src/Pure/System/web_app.scala (diff) |