#2194 (May 30, 2024, 12:50:43 AM)

1. merged (detail / hgweb)
2. pretty-printing sledgehammer command: merge indexed theorems (detail / hgweb)
3. clarify routes: absolute in api and relative for frontend; (detail / hgweb)
4. add auto-reload for more interactive web apps; (detail / hgweb)
5. clarified web app endpoints; (detail / hgweb)
6. proper html script tag: source code must not be escaped; (detail / hgweb)
7. add explicit Content-Length header to http response (otherwise it is missing in HEAD responses); (detail / hgweb)
8. add HEAD to http server: should send same header fields as if request was GET; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.3 sec waiting;
• 2 hr 3 min build duration;
• 2 hr 3 min total from scheduled to completion.