| Thu, 08 May 2014 16:19:16 +0200 | wenzelm | no qualifier for now, to avoid confusion concerning loaded_theories in PIDE interaction; | changeset | files |
| Thu, 08 May 2014 16:15:20 +0200 | wenzelm | some position markup to help locating the query context, e.g. from "Info" dockable; | changeset | files |
| Thu, 08 May 2014 15:30:28 +0200 | wenzelm | tuned GUI; | changeset | files |
| Thu, 08 May 2014 15:12:39 +0200 | wenzelm | tuned GUI; | changeset | files |