| Tue, 12 Nov 2019 19:47:44 +0100 | wenzelm | merged | changeset | files |
| Tue, 12 Nov 2019 19:32:19 +0100 | wenzelm | more documentation; | changeset | files |
| Tue, 12 Nov 2019 16:17:25 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 12 Nov 2019 16:12:03 +0100 | wenzelm | more options; | changeset | files |
| Tue, 12 Nov 2019 16:02:29 +0100 | wenzelm | clarified Console_Progress.echo: include empty lines as in other Progress instances, especially relevant for Progress.bash (e.g. "isabelle phabricator ./bin/config help"); | changeset | files |
| Mon, 11 Nov 2019 17:32:40 +0100 | wenzelm | documentation on Phabricator server administration; | changeset | files |
| Mon, 11 Nov 2019 17:00:07 +0100 | wenzelm | tuned message; | changeset | files |