Sat, 01 Apr 2023 21:33:54 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Tue, 28 Aug 2018 11:40:11 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 22 Jun 2017 14:27:13 +0200 |
wenzelm |
more informative task_statistics;
|
file |
diff |
annotate
|
Sat, 16 Jul 2016 19:35:27 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
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
|