Wed, 28 Dec 2016 10:39:50 +0100 |
wenzelm |
more uniform treatment of "bad" like other messages (with serial number);
|
file |
diff |
annotate
|
Mon, 21 Sep 2015 23:22:11 +0200 |
wenzelm |
clarified markup;
|
file |
diff |
annotate
|
Mon, 21 Sep 2015 16:23:48 +0200 |
wenzelm |
obsolete, superseded by State panel;
|
file |
diff |
annotate
|
Mon, 29 Jun 2015 20:55:46 +0200 |
wenzelm |
improved scheduling for urgent tasks, using farm of replacement threads (may lead to factor 2 overloading, but CPUs are usually hyperthreaded);
|
file |
diff |
annotate
|
Tue, 22 Jul 2014 14:03:00 +0200 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
Tue, 22 Jul 2014 13:36:51 +0200 |
wenzelm |
support multiple selected print operations instead of slightly odd "menu";
|
file |
diff |
annotate
|
Fri, 27 Jun 2014 16:04:56 +0200 |
wenzelm |
command 'print_term_bindings' supersedes 'print_binds';
|
file |
diff |
annotate
|
Wed, 07 May 2014 10:42:19 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 06 May 2014 23:08:18 +0200 |
wenzelm |
clarified print_state, which goes back to TTY loop before Proof General, and before separate print_context;
|
file |
diff |
annotate
|
Mon, 05 May 2014 17:14:46 +0200 |
wenzelm |
clarified print operations for "terms" and "theorems";
|
file |
diff |
annotate
|
Mon, 05 May 2014 16:30:19 +0200 |
wenzelm |
more print operations;
|
file |
diff |
annotate
|
Mon, 05 May 2014 15:17:07 +0200 |
wenzelm |
support print operations as asynchronous query;
|
file |
diff |
annotate
|