Thu, 24 Nov 2016 11:33:55 +0100 | haftmann | clarified NEWS concerning Library/Poly_Deriv | changeset | files |
Wed, 23 Nov 2016 20:55:58 +0100 | blanchet | made MaSh faster and less likely to hang seemingly forever | changeset | files |
Wed, 23 Nov 2016 16:15:17 +0100 | wenzelm | delay_first for machine generated editor events: avoid starvation, e.g. when operating on big sessions; | changeset | files |