| Sun, 12 Jan 2025 21:07:23 +0100 | wenzelm | implicit session build, similar to "isabelle export"; | changeset | files |
| Sun, 12 Jan 2025 16:15:45 +0100 | wenzelm | tuned message; | changeset | files |
| Sun, 12 Jan 2025 16:15:37 +0100 | wenzelm | proper Console_Progress as for other command-line tools; | changeset | files |
| Sun, 12 Jan 2025 16:03:43 +0100 | wenzelm | tuned messages: more formal; | changeset | files |