| 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 |
| Tue, 11 Oct 2016 14:28:54 +0200 | wenzelm | build on macbroy2 for performance, but use macbroy30 for its more robust hdiutil; | changeset | files |
| Tue, 11 Oct 2016 14:23:43 +0200 | wenzelm | makedist_bundle works on Linux as well: build dmg on remote Mac; | changeset | files |
| Tue, 11 Oct 2016 11:30:02 +0200 | wenzelm | added isabelle remote_dmg tool; | changeset | files |
| Tue, 11 Oct 2016 10:43:27 +0200 | wenzelm | proper type for Library.using; | changeset | files |