| Tue, 06 Aug 2024 16:58:05 +0200 |
Fabian Huch |
add tables to web_app;
|
file |
diff |
annotate
|
| Wed, 03 Jul 2024 21:11:53 +0200 |
wenzelm |
clarified signature, following 43323d886ea3;
|
file |
diff |
annotate
|
| Sun, 16 Jun 2024 21:54:09 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Tue, 11 Jun 2024 16:32:10 +0200 |
wenzelm |
clarified signature: discontinue somewhat misleading Bytes <: CharSequence;
|
file |
diff |
annotate
|
| Tue, 11 Jun 2024 14:27:04 +0200 |
Fabian Huch |
sort web app parameters in list;
|
file |
diff |
annotate
|
| Fri, 07 Jun 2024 19:14:36 +0200 |
Fabian Huch |
add favicon to web app;
|
file |
diff |
annotate
|
| Wed, 05 Jun 2024 20:09:04 +0200 |
Fabian Huch |
more page elements;
|
file |
diff |
annotate
|
| Wed, 05 Jun 2024 20:06:34 +0200 |
Fabian Huch |
web app: add automatic resize;
|
file |
diff |
annotate
|
| Tue, 04 Jun 2024 18:24:38 +0200 |
Fabian Huch |
web app: proper document height;
|
file |
diff |
annotate
|
| Mon, 03 Jun 2024 19:37:42 +0200 |
Fabian Huch |
tuned;
|
file |
diff |
annotate
|
| Mon, 03 Jun 2024 19:21:22 +0200 |
Fabian Huch |
use Content-Digest header in HEAD requests instead of length (to track non-monotone changes);
|
file |
diff |
annotate
|
| Wed, 29 May 2024 16:23:48 +0200 |
Fabian Huch |
clarify routes: absolute in api and relative for frontend;
|
file |
diff |
annotate
|
| Wed, 29 May 2024 15:09:48 +0200 |
Fabian Huch |
add auto-reload for more interactive web apps;
|
file |
diff |
annotate
|
| Wed, 29 May 2024 14:55:36 +0200 |
Fabian Huch |
clarified web app endpoints;
|
file |
diff |
annotate
|
| Mon, 15 Apr 2024 20:35:56 +0200 |
Fabian Huch |
clarified web app parameters: more flexible, using HTML5 id specification (nonempty unicode string with no spaces);
|
file |
diff |
annotate
|
| Sat, 30 Mar 2024 01:08:25 +0100 |
Fabian Huch |
moved web_app module from AFP (e.g., for building web services for the distributed build);
|
file |
diff |
annotate
|