| Mon, 23 Mar 2009 21:40:11 +0100 | wenzelm | more systematic type use_context, with particular values ML_Parse.global_context and ML_Context.local_context; | changeset | files |
| Mon, 23 Mar 2009 21:40:11 +0100 | wenzelm | de-camelized ML_Name_Space; | changeset | files |
| Mon, 23 Mar 2009 17:21:42 +0100 | wenzelm | suppress status output for traditional tty modes (including Proof General); | changeset | files |
| Mon, 23 Mar 2009 17:20:31 +0100 | wenzelm | added report_text -- status messages with text body; | changeset | files |
| Mon, 23 Mar 2009 15:33:35 +0100 | wenzelm | maintain parse trees cumulatively; | changeset | files |
| Mon, 23 Mar 2009 15:23:06 +0100 | wenzelm | Block markup: maintain output version within tree values (in accordance with String) -- changes operational behaviour wrt. print_mode; | changeset | files |