Thu, 08 May 2014 16:28:44 +0200 | wenzelm | tuned message; | changeset | files |
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 |