| 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 |