| Wed, 02 Jan 2013 09:31:25 +0100 | blanchet | actually run Z3 for "SMT_Tests" when "ISABELLE_FULL_TEST" is enabled | changeset | files |
| Wed, 02 Jan 2013 09:13:50 +0100 | blanchet | added missing certificate file to "ROOT" | changeset | files |
| Tue, 01 Jan 2013 21:55:46 +0100 | wenzelm | more robust report_status: tolerate ML_statistics even if ignored right now, e.g. in batch build; | changeset | files |
| Tue, 01 Jan 2013 13:37:37 +0100 | wenzelm | more liberal edit_control_style: include preceeding control symbol to reduce potential for user surprise; | changeset | files |