wenzelm [Mon, 05 Oct 2015 18:03:58 +0200] rev 61328
merged
wenzelm [Mon, 05 Oct 2015 18:03:52 +0200] rev 61327
tuned signature;
wenzelm [Mon, 05 Oct 2015 14:17:20 +0200] rev 61326
produce nodes_status outside GUI thread, to avoid a few milliseconds of blocking;
blanchet [Mon, 05 Oct 2015 16:14:33 +0200] rev 61325
avoid too aggressive optimization of 'finite' predicate
blanchet [Mon, 05 Oct 2015 15:57:25 +0200] rev 61324
avoid unsound simplification of (C (s x)) when s is a selector but not C's
blanchet [Mon, 05 Oct 2015 13:26:25 +0200] rev 61323
extended theory exporter to also export MePo-selected facts
blanchet [Sun, 04 Oct 2015 17:48:34 +0200] rev 61322
speed up MaSh duplicate check
blanchet [Sun, 04 Oct 2015 17:41:52 +0200] rev 61321
sped up MaSh nickname generation
wenzelm [Sat, 03 Oct 2015 18:38:25 +0200] rev 61320
merged
wenzelm [Fri, 02 Oct 2015 23:22:49 +0200] rev 61319
more explicit umask for important directories: e.g. relevant for Windows 10, where implicit g=rwx leads to odd failure of chmod -w for heap images;