| Sat, 04 Mar 2023 16:15:50 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 04 Mar 2023 12:59:22 +0100 | wenzelm | tuned messages; | changeset | files |
| Sat, 04 Mar 2023 12:43:35 +0100 | wenzelm | clarified signature: require just one "override def echo(message: Progress.Message): Unit"; | changeset | files |
| Sat, 04 Mar 2023 12:16:58 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 04 Mar 2023 12:14:20 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 04 Mar 2023 12:05:51 +0100 | wenzelm | clarified signature: more uniform Progress.verbose, avoid adhoc "override def theory()"; | changeset | files |
| Sat, 04 Mar 2023 11:45:14 +0100 | wenzelm | proper Output.writeln_text (with clean_yxml) for all instances of Progress.echo; | changeset | files |
| Fri, 03 Mar 2023 20:11:08 +0100 | wenzelm | merged | changeset | files |
| Fri, 03 Mar 2023 20:10:47 +0100 | wenzelm | more database content; | changeset | files |
| Fri, 03 Mar 2023 13:50:54 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 03 Mar 2023 13:50:39 +0100 | wenzelm | tuned whitespace; | changeset | files |
| Fri, 03 Mar 2023 13:39:46 +0100 | wenzelm | tuned signature; | changeset | files |
| Fri, 03 Mar 2023 12:22:07 +0000 | paulson | merged | changeset | files |
| Fri, 03 Mar 2023 12:21:58 +0000 | paulson | More of Eberl's material | changeset | files |