| Mon, 03 Oct 2016 21:53:14 +0200 | wenzelm | more robust; | changeset | files |
| Mon, 03 Oct 2016 21:36:10 +0200 | wenzelm | proper log output; | changeset | files |
| Mon, 03 Oct 2016 21:14:21 +0200 | wenzelm | clarified command line; | changeset | files |
| Mon, 03 Oct 2016 20:26:32 +0200 | wenzelm | clarified command-line; | changeset | files |
| Mon, 03 Oct 2016 20:09:50 +0200 | wenzelm | more operations; | changeset | files |
| Mon, 03 Oct 2016 18:54:59 +0200 | wenzelm | more formal build_history_base; | changeset | files |
| Mon, 03 Oct 2016 17:23:33 +0200 | wenzelm | clarified cold-start environment; | changeset | files |
| Mon, 03 Oct 2016 16:50:29 +0200 | wenzelm | basic setup for Admin/build_history -- outside of Isabelle environment; | changeset | files |