| Fri, 27 Dec 2024 17:26:01 +0100 |
wenzelm |
clarified signature: more operations;
|
file |
diff |
annotate
|
| Thu, 26 Dec 2024 15:38:57 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 28 Jun 2024 11:09:58 +0200 |
wenzelm |
tuned signature, following Bytes.Builder.use;
|
file |
diff |
annotate
|
| Fri, 28 Jun 2024 00:30:49 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 27 Jun 2024 22:09:09 +0200 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
| Tue, 28 May 2024 19:51:49 +0200 |
Fabian Huch |
proper html script tag: source code must not be escaped;
|
file |
diff |
annotate
|
| Tue, 26 Mar 2024 21:44:18 +0100 |
wenzelm |
more robust XML body: allow empty text, as well as arbitrary pro-forma markup (e.g. see XML.blob in Isabelle/ML);
|
file |
diff |
annotate
|
| Tue, 26 Mar 2024 21:34:08 +0100 |
wenzelm |
more robust: untyped/unscoped markup elements need to reside in module Markup for minimal static checking (see also 11a1f4d7af51);
|
file |
diff |
annotate
|
| Tue, 26 Mar 2024 16:01:54 +0100 |
Fabian Huch |
allow raw input in HTML (e.g., for web applications);
|
file |
diff |
annotate
|
| Sat, 20 Jan 2024 13:24:26 +0100 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
| base
|