isabelle: File revisions

src/Pure/General/html.scala

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

isabelle