isabelle: Changelog

wenzelm [Sat, 04 Mar 2023 16:45:21 +0100] rev 77505

support progress backed by database; moved Build_Progress.Context.progress/log to class Build_Process: database is available here;

wenzelm [Sat, 04 Mar 2023 16:15:50 +0100] rev 77504

tuned;

wenzelm [Sat, 04 Mar 2023 12:59:22 +0100] rev 77503

tuned messages;

wenzelm [Sat, 04 Mar 2023 12:43:35 +0100] rev 77502

clarified signature: require just one "override def echo(message: Progress.Message): Unit";

wenzelm [Sat, 04 Mar 2023 12:16:58 +0100] rev 77501

tuned signature;

wenzelm [Sat, 04 Mar 2023 12:14:20 +0100] rev 77500

tuned signature;

wenzelm [Sat, 04 Mar 2023 12:05:51 +0100] rev 77499

clarified signature: more uniform Progress.verbose, avoid adhoc "override def theory()";

wenzelm [Sat, 04 Mar 2023 11:45:14 +0100] rev 77498

proper Output.writeln_text (with clean_yxml) for all instances of Progress.echo;

isabelle