| Wed, 12 Oct 2016 09:32:48 +0200 | wenzelm | explicit timezone for the sake of lxbroy10; | changeset | files |
| Tue, 11 Oct 2016 23:09:36 +0200 | wenzelm | proper redirection; | changeset | files |
| Tue, 11 Oct 2016 22:30:48 +0200 | wenzelm | tuned output; | changeset | files |
| Tue, 11 Oct 2016 22:24:47 +0200 | wenzelm | tuned message -- more parsable; | changeset | files |
| Tue, 11 Oct 2016 22:24:14 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 11 Oct 2016 22:14:26 +0200 | wenzelm | identify managed repository clones; | changeset | files |
| Tue, 11 Oct 2016 21:48:56 +0200 | wenzelm | some timing and logging, similar to old isatest.log; | changeset | files |
| Tue, 11 Oct 2016 21:44:20 +0200 | wenzelm | enforce short name, notably on Mac OS X; | changeset | files |
| Tue, 11 Oct 2016 21:25:10 +0200 | wenzelm | tuned -- Date.Format.default used by toString; | changeset | files |
| Tue, 11 Oct 2016 20:54:42 +0200 | wenzelm | clarified modules; | changeset | files |
| Tue, 11 Oct 2016 20:31:13 +0200 | wenzelm | force fresh build; | changeset | files |
| Tue, 11 Oct 2016 20:20:32 +0200 | wenzelm | basic setup for Isabelle cronjob; | changeset | files |
| Tue, 11 Oct 2016 17:00:20 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 11 Oct 2016 14:29:39 +0200 | wenzelm | merged | changeset | files |