| Mon, 02 Nov 2015 13:58:19 +0100 | wenzelm | tuned document; | changeset | files |
| Mon, 02 Nov 2015 11:43:02 +0100 | wenzelm | tuned document; | changeset | files |
| Mon, 02 Nov 2015 11:10:28 +0100 | wenzelm | isabelle update_cartouches -t; | changeset | files |
| Mon, 02 Nov 2015 10:38:42 +0100 | wenzelm | avoid highlighted area getting "stuck" after edit; | changeset | files |
| Mon, 02 Nov 2015 10:20:27 +0100 | wenzelm | clarified completion of Isabelle symbols within document source; | changeset | files |
| Mon, 02 Nov 2015 09:43:20 +0100 | wenzelm | more accurate imports: allow re-uses of base names in PIDE interaction (amending 60c159d490a2); | changeset | files |
| Mon, 02 Nov 2015 18:35:41 +0100 | nipkow | merged | changeset | files |
| Mon, 02 Nov 2015 18:35:30 +0100 | nipkow | tuned names and optimized comparison order | changeset | files |