| 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
|