Tue, 11 Oct 2016 21:48:56 +0200 some timing and logging, similar to old isatest.log;
wenzelm [Tue, 11 Oct 2016 21:48:56 +0200] rev 64153
some timing and logging, similar to old isatest.log;
Tue, 11 Oct 2016 21:44:20 +0200 enforce short name, notably on Mac OS X;
wenzelm [Tue, 11 Oct 2016 21:44:20 +0200] rev 64152
enforce short name, notably on Mac OS X;
Tue, 11 Oct 2016 21:25:10 +0200 tuned -- Date.Format.default used by toString;
wenzelm [Tue, 11 Oct 2016 21:25:10 +0200] rev 64151
tuned -- Date.Format.default used by toString;
Tue, 11 Oct 2016 20:54:42 +0200 clarified modules;
wenzelm [Tue, 11 Oct 2016 20:54:42 +0200] rev 64150
clarified modules;
Tue, 11 Oct 2016 20:31:13 +0200 force fresh build;
wenzelm [Tue, 11 Oct 2016 20:31:13 +0200] rev 64149
force fresh build;
Tue, 11 Oct 2016 20:20:32 +0200 basic setup for Isabelle cronjob;
wenzelm [Tue, 11 Oct 2016 20:20:32 +0200] rev 64148
basic setup for Isabelle cronjob;
Tue, 11 Oct 2016 17:00:20 +0200 tuned;
wenzelm [Tue, 11 Oct 2016 17:00:20 +0200] rev 64147
tuned;
Tue, 11 Oct 2016 14:29:39 +0200 merged
wenzelm [Tue, 11 Oct 2016 14:29:39 +0200] rev 64146
merged
Tue, 11 Oct 2016 14:28:54 +0200 build on macbroy2 for performance, but use macbroy30 for its more robust hdiutil;
wenzelm [Tue, 11 Oct 2016 14:28:54 +0200] rev 64145
build on macbroy2 for performance, but use macbroy30 for its more robust hdiutil;
Tue, 11 Oct 2016 14:23:43 +0200 makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm [Tue, 11 Oct 2016 14:23:43 +0200] rev 64144
makedist_bundle works on Linux as well: build dmg on remote Mac;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip