2014-07-22 ago tuned messages;
2014-07-22 ago support multiple selected print operations instead of slightly odd "menu";
2014-06-27 ago command 'print_term_bindings' supersedes 'print_binds';
2014-05-07 ago tuned;
2014-05-06 ago clarified print_state, which goes back to TTY loop before Proof General, and before separate print_context;
2014-05-05 ago clarified print operations for "terms" and "theorems";
2014-05-05 ago more print operations;
2014-05-05 ago support print operations as asynchronous query;