| 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 |