isabelle: File revisions

src/Pure/Build/export.scala

Tue, 05 Aug 2025 21:44:54 +0200	wenzelm	more detailed export "PIDE/files": store offset of the load command, within the pro-forma loaded_theory_command --- this allows to restrict output messages for blobs;	file \| diff \| annotate
Tue, 02 Jul 2024 23:13:35 +0200	wenzelm	clarified YXML.Source: more direct support for String and Bytes, instead of CharSequence;	file \| diff \| annotate
Fri, 28 Jun 2024 16:51:55 +0200	wenzelm	minor performance tuning: allow recode operation during YXML parsing;	file \| diff \| annotate
Tue, 11 Jun 2024 14:18:19 +0200	wenzelm	clarified signature;	file \| diff \| annotate
Sat, 08 Jun 2024 23:17:20 +0200	wenzelm	more robust: prefer synchronous compression (usually <= 1ms, sometimes 1..5ms);	file \| diff \| annotate
Sun, 10 Mar 2024 10:50:12 +0100	wenzelm	tuned signature: more uniform SQL.Data instances;	file \| diff \| annotate
Mon, 19 Feb 2024 11:07:08 +0100	wenzelm	tuned;	file \| diff \| annotate
Sat, 20 Jan 2024 15:07:41 +0100	wenzelm	clarified directories;	file \| diff \| annotate \| base

isabelle