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 |
Mon, 02 Nov 2015 17:04:11 +0100 | blanchet | updated CVC4 component to deal with paths with whitespace | changeset | files |