| 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 |