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 |