| 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 |
| Mon, 21 Nov 2016 15:46:13 +0100 | wenzelm | Added tag Isabelle2016-1-RC3 for changeset 51be997d0698 | changeset | files |
| Mon, 21 Nov 2016 15:30:35 +0100 | immler | op powr for quickcheck[approximation] (amending 67792e4a5486) | changeset | files |
| Mon, 21 Nov 2016 14:49:52 +0100 | wenzelm | skip over inner syntax for indentation; | changeset | files |
| Mon, 21 Nov 2016 14:47:15 +0100 | wenzelm | tuned whitespace; | changeset | files |