| Mon, 05 Aug 2013 17:14:02 +0200 | wenzelm | slightly more general support for one-shot query operations via asynchronous print functions and temporary document overlay; | changeset | files |
| Mon, 05 Aug 2013 16:12:03 +0200 | wenzelm | remove overlay after result has arrived -- one-shot query operation; | changeset | files |
| Mon, 05 Aug 2013 15:48:13 +0200 | wenzelm | more message markup, provided by prover; | changeset | files |
| Mon, 05 Aug 2013 15:29:10 +0200 | wenzelm | tuned signature -- more uniform treatment of overlays as command mapping; | changeset | files |
| Mon, 05 Aug 2013 15:03:52 +0200 | wenzelm | commands with overlay remain visible, to avoid loosing printed output; | changeset | files |
| Mon, 05 Aug 2013 11:08:54 +0200 | wenzelm | initial update of nodes_required, for proper GUI state; | changeset | files |
| Mon, 05 Aug 2013 11:01:17 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 05 Aug 2013 10:55:46 +0200 | wenzelm | avoid repeated PIDE.flush_buffers when manipulating overlays; | changeset | files |