| Mon, 25 Feb 2013 12:17:11 +0100 | wenzelm | tuned comment; | changeset | files |
| Mon, 25 Feb 2013 11:07:02 +0100 | wenzelm | reconsider 'pretty_setmargin' as "control" command (instead of "diag") -- it is stateful and Proof General legacy; | changeset | files |
| Mon, 25 Feb 2013 10:50:52 +0100 | wenzelm | merged; | changeset | files |