wenzelm [Wed, 29 May 2024 15:58:03 +0200] rev 80210
tuned;
wenzelm [Wed, 29 May 2024 15:51:15 +0200] rev 80209
tuned comments;
nipkow [Wed, 29 May 2024 18:13:05 +0200] rev 80208
merged
nipkow [Wed, 29 May 2024 10:43:22 +0200] rev 80207
pretty-printing sledgehammer command: merge indexed theorems
Fabian Huch <huch@in.tum.de> [Wed, 29 May 2024 16:23:48 +0200] rev 80206
clarify routes: absolute in api and relative for frontend;
Fabian Huch <huch@in.tum.de> [Wed, 29 May 2024 15:09:48 +0200] rev 80205
add auto-reload for more interactive web apps;
Fabian Huch <huch@in.tum.de> [Wed, 29 May 2024 14:55:36 +0200] rev 80204
clarified web app endpoints;
Fabian Huch <huch@in.tum.de> [Tue, 28 May 2024 19:51:49 +0200] rev 80203
proper html script tag: source code must not be escaped;
Fabian Huch <huch@in.tum.de> [Tue, 28 May 2024 19:51:09 +0200] rev 80202
add explicit Content-Length header to http response (otherwise it is missing in HEAD responses);
Fabian Huch <huch@in.tum.de> [Tue, 28 May 2024 19:49:42 +0200] rev 80201
add HEAD to http server: should send same header fields as if request was GET;