| Thu, 18 Jul 2013 20:53:22 +0200 | wenzelm | explicit padding on command boundary for "auto" generated sendback -- do not replace the corresponding goal command, but append to it; | file | diff | annotate |
| Thu, 13 Dec 2012 19:53:55 +0100 | wenzelm | smarter handling of tracing messages: prover process pauses and enters user dialog; | file | diff | annotate |
| Thu, 13 Dec 2012 18:15:53 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 13 Dec 2012 13:52:18 +0100 | wenzelm | identify dialogs via official serial and maintain as result message; | file | diff | annotate |
| Wed, 12 Dec 2012 21:50:42 +0100 | wenzelm | support dialog via document content; | file | diff | annotate |
| Mon, 10 Dec 2012 13:52:33 +0100 | wenzelm | generalized notion of active area, where sendback is just one application; | file | diff | annotate | base |