| 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 |
| Sun, 24 Feb 2013 17:29:55 +0100 | wenzelm | simplified Outer_Syntax.read_span: internalized Toplevel.is_ignored; | changeset | files |
| Sun, 24 Feb 2013 14:14:07 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 24 Feb 2013 14:11:51 +0100 | wenzelm | unified Command.is_proper in ML with Scala (see also 123be08eed88); | changeset | files |
| Mon, 25 Feb 2013 10:18:33 +0100 | wenzelm | tuned order of modules; | changeset | files |
| Mon, 25 Feb 2013 20:11:42 +0100 | wenzelm | fixed document; | changeset | files |