isabelle: File revisions

src/Pure/Build/database_progress.scala

Wed, 15 Oct 2025 16:31:05 +0200	wenzelm	proper status_output for output via Progress.Status mixin;	file \| diff \| annotate
Mon, 13 Oct 2025 21:47:39 +0200	wenzelm	clarified Progress.output and related operations: prefer bulk messages of general type Progress.Msg;	file \| diff \| annotate
Mon, 13 Oct 2025 14:44:46 +0200	wenzelm	clarified Database_Progress.nodes_status: verbose output of completed theories (with timing), but no "detailed" output;	file \| diff \| annotate
Mon, 22 Sep 2025 16:43:53 +0200	wenzelm	clarified signature: more explicit type Progress.Nodes_Status;	file \| diff \| annotate
Sun, 21 Sep 2025 14:22:14 +0200	wenzelm	clarified signature: explicit domain for Nodes_Status operations;	file \| diff \| annotate
Wed, 13 Mar 2024 23:26:30 +0100	wenzelm	revert most parts of 0e79fa88cab6: somewhat ambitious attempt to move towards "editing" builds via added/canceled workers;	file \| diff \| annotate
Wed, 13 Mar 2024 16:09:11 +0100	wenzelm	tuned whitespace;	file \| diff \| annotate
Tue, 12 Mar 2024 15:57:25 +0100	wenzelm	clarified modules;	file \| diff \| annotate

isabelle