| 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 |
| Mon, 23 Mar 2009 08:14:24 +0100 | haftmann | Main is (Complex_Main) base entry point in library theories | changeset | files |
| Mon, 23 Mar 2009 08:14:23 +0100 | haftmann | added instances for bot, top, wellorder | changeset | files |
| Mon, 23 Mar 2009 08:14:23 +0100 | haftmann | tuned header | changeset | files |