| 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 |
| Mon, 23 Mar 2009 11:20:46 +0100 | wenzelm | future scheduler: reduced wait timeout if tasks need to be canceled -- to improve reactivity of interrupts; | changeset | files |
| Mon, 23 Mar 2009 08:16:24 +0100 | haftmann | merged | changeset | files |
| Mon, 23 Mar 2009 08:14:58 +0100 | haftmann | Main is (Complex_Main) base entry point in library theories | changeset | files |