Summary
- merged
- pretty-printing sledgehammer command: merge indexed theorems
- clarify routes: absolute in api and relative for frontend;
- add auto-reload for more interactive web apps;
- clarified web app endpoints;
- proper html script tag: source code must not be escaped;
- add explicit Content-Length header to http response (otherwise it is missing in HEAD responses);
- add HEAD to http server: should send same header fields as if request was GET;
The file was modified | src/HOL/Tools/Sledgehammer/sledgehammer_proof_methods.ML (diff) |
The file was modified | src/Pure/System/web_app.scala (diff) |
The file was modified | src/Pure/System/web_app.scala (diff) |
The file was modified | src/Pure/System/web_app.scala (diff) |
The file was modified | src/Pure/General/html.scala (diff) |
The file was modified | src/Pure/General/http.scala (diff) |
The file was modified | src/Pure/General/http.scala (diff) |