| Thu, 03 Sep 2009 20:26:07 +0200 | haftmann | merged | changeset | files |
| Thu, 03 Sep 2009 17:26:10 +0200 | haftmann | merged | changeset | files |
| Thu, 03 Sep 2009 15:39:02 +0200 | haftmann | proper class syntax for sublocale class < expr | changeset | files |
| Thu, 03 Sep 2009 18:41:58 +0200 | boehmes | added option full_typed for sledgehammer action | changeset | files |
| Thu, 03 Sep 2009 17:55:31 +0200 | boehmes | added runtime information to sledgehammer | changeset | files |
| Thu, 03 Sep 2009 15:47:39 +0200 | boehmes | tuned | changeset | files |
| Thu, 03 Sep 2009 15:30:05 +0200 | nipkow | scaled avg_time | changeset | files |
| Thu, 03 Sep 2009 14:50:02 +0200 | nipkow | merged | changeset | files |
| Thu, 03 Sep 2009 14:49:34 +0200 | nipkow | tuned | changeset | files |
| Thu, 03 Sep 2009 14:40:52 +0200 | krauss | isatest: collect test results and logs in testdata repository | changeset | files |
| Thu, 03 Sep 2009 14:31:04 +0200 | boehmes | replaced backlist by whitelist | changeset | files |
| Thu, 03 Sep 2009 14:05:13 +0200 | boehmes | Mirabelle: logging of exceptions (works only for PolyML) | changeset | files |
| Wed, 02 Sep 2009 22:12:40 +0200 | wenzelm | merged | changeset | files |
| Wed, 02 Sep 2009 22:12:20 +0200 | wenzelm | refined delay into delay_first/delay_last; | changeset | files |
| Wed, 02 Sep 2009 21:34:13 +0200 | boehmes | merged | changeset | files |
| Wed, 02 Sep 2009 21:33:16 +0200 | boehmes | add report script for Mirabelle | changeset | files |
| Wed, 02 Sep 2009 21:31:58 +0200 | boehmes | Mirabelle: actions are responsible for handling exceptions, | changeset | files |
| Wed, 02 Sep 2009 16:29:50 +0200 | boehmes | removed errors overseen in previous changes | changeset | files |
| Wed, 02 Sep 2009 16:23:53 +0200 | boehmes | moved Mirabelle from HOL/Tools to HOL, | changeset | files |
| Wed, 02 Sep 2009 16:02:37 +0200 | boehmes | removed unused signature | changeset | files |
| Wed, 02 Sep 2009 20:49:04 +0200 | wenzelm | explicit checks; | changeset | files |
| Wed, 02 Sep 2009 17:33:25 +0200 | wenzelm | updated Poly/ML SVN version; | changeset | files |
| Wed, 02 Sep 2009 16:51:19 +0200 | wenzelm | eval/location_props: always produce YXML markup, independent of print_mode; | changeset | files |
| Wed, 02 Sep 2009 16:25:44 +0200 | wenzelm | reorganized Compute theories for HOL-Matrix -- avoiding theory files within main HOL/Tools; | changeset | files |
| Wed, 02 Sep 2009 14:11:45 +0200 | wenzelm | tuned ML message; | changeset | files |
| Wed, 02 Sep 2009 12:20:17 +0200 | nipkow | added "using" to blacklist | changeset | files |
| Wed, 02 Sep 2009 10:54:52 +0200 | wenzelm | merged | changeset | files |
| Wed, 02 Sep 2009 10:35:47 +0200 | wenzelm | merged | changeset | files |
| Tue, 01 Sep 2009 21:40:10 +0200 | wenzelm | removed old Isar document model; | changeset | files |
| Tue, 01 Sep 2009 21:46:38 +0200 | haftmann | corrected spelling | changeset | files |