Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wed, 02 Sep 2009 22:12:40 +0200 merged
changeset
wenzelm [Wed, 02 Sep 2009 22:12:40 +0200] rev 32502
merged
Wed, 02 Sep 2009 22:12:20 +0200 refined delay into delay_first/delay_last;
changeset
wenzelm [Wed, 02 Sep 2009 22:12:20 +0200] rev 32501
refined delay into delay_first/delay_last;
Wed, 02 Sep 2009 21:34:13 +0200 merged
changeset
boehmes [Wed, 02 Sep 2009 21:34:13 +0200] rev 32500
merged
Wed, 02 Sep 2009 21:33:16 +0200 add report script for Mirabelle
changeset
boehmes [Wed, 02 Sep 2009 21:33:16 +0200] rev 32499
add report script for Mirabelle
Wed, 02 Sep 2009 21:31:58 +0200 Mirabelle: actions are responsible for handling exceptions,
changeset
boehmes [Wed, 02 Sep 2009 21:31:58 +0200] rev 32498
Mirabelle: actions are responsible for handling exceptions, Mirabelle core logs only structural information, measuring running times for sledgehammer and subsequent metis invocation, Mirabelle produces reports for every theory (only for sledgehammer at the moment)
Wed, 02 Sep 2009 16:29:50 +0200 removed errors overseen in previous changes
changeset
boehmes [Wed, 02 Sep 2009 16:29:50 +0200] rev 32497
removed errors overseen in previous changes
Wed, 02 Sep 2009 16:23:53 +0200 moved Mirabelle from HOL/Tools to HOL,
changeset
boehmes [Wed, 02 Sep 2009 16:23:53 +0200] rev 32496
moved Mirabelle from HOL/Tools to HOL, added session HOL-Mirabelle
Wed, 02 Sep 2009 16:02:37 +0200 removed unused signature
changeset
boehmes [Wed, 02 Sep 2009 16:02:37 +0200] rev 32495
removed unused signature
Wed, 02 Sep 2009 20:49:04 +0200 explicit checks;
changeset
wenzelm [Wed, 02 Sep 2009 20:49:04 +0200] rev 32494
explicit checks;
Wed, 02 Sep 2009 17:33:25 +0200 updated Poly/ML SVN version;
changeset
wenzelm [Wed, 02 Sep 2009 17:33:25 +0200] rev 32493
updated Poly/ML SVN version;
Wed, 02 Sep 2009 16:51:19 +0200 eval/location_props: always produce YXML markup, independent of print_mode;
changeset
wenzelm [Wed, 02 Sep 2009 16:51:19 +0200] rev 32492
eval/location_props: always produce YXML markup, independent of print_mode;
Wed, 02 Sep 2009 16:25:44 +0200 reorganized Compute theories for HOL-Matrix -- avoiding theory files within main HOL/Tools;
changeset
wenzelm [Wed, 02 Sep 2009 16:25:44 +0200] rev 32491
reorganized Compute theories for HOL-Matrix -- avoiding theory files within main HOL/Tools;
Wed, 02 Sep 2009 14:11:45 +0200 tuned ML message;
changeset
wenzelm [Wed, 02 Sep 2009 14:11:45 +0200] rev 32490
tuned ML message;
Wed, 02 Sep 2009 12:20:17 +0200 added "using" to blacklist
changeset
nipkow [Wed, 02 Sep 2009 12:20:17 +0200] rev 32489
added "using" to blacklist
Wed, 02 Sep 2009 10:54:52 +0200 merged
changeset
wenzelm [Wed, 02 Sep 2009 10:54:52 +0200] rev 32488
merged
Wed, 02 Sep 2009 10:35:47 +0200 merged
changeset
wenzelm [Wed, 02 Sep 2009 10:35:47 +0200] rev 32487
merged
Tue, 01 Sep 2009 21:40:10 +0200 removed old Isar document model;
changeset
wenzelm [Tue, 01 Sep 2009 21:40:10 +0200] rev 32486
removed old Isar document model;
Tue, 01 Sep 2009 21:46:38 +0200 corrected spelling
changeset
haftmann [Tue, 01 Sep 2009 21:46:38 +0200] rev 32485
corrected spelling
Tue, 01 Sep 2009 21:44:19 +0200 merged
changeset
haftmann [Tue, 01 Sep 2009 21:44:19 +0200] rev 32484
merged
Tue, 01 Sep 2009 17:02:09 +0200 added -q switch for run in qnd mode
changeset
haftmann [Tue, 01 Sep 2009 17:02:09 +0200] rev 32483
added -q switch for run in qnd mode
Tue, 01 Sep 2009 16:39:05 +0200 code generator is now a separate component
changeset
haftmann [Tue, 01 Sep 2009 16:39:05 +0200] rev 32482
code generator is now a separate component
Tue, 01 Sep 2009 16:00:59 +0200 tuned document
changeset
haftmann [Tue, 01 Sep 2009 16:00:59 +0200] rev 32481
tuned document
Tue, 01 Sep 2009 16:00:57 +0200 some reorganization of number theory
changeset
haftmann [Tue, 01 Sep 2009 16:00:57 +0200] rev 32480
some reorganization of number theory
Tue, 01 Sep 2009 15:39:33 +0200 some reorganization of number theory
changeset
haftmann [Tue, 01 Sep 2009 15:39:33 +0200] rev 32479
some reorganization of number theory
Tue, 01 Sep 2009 14:13:34 +0200 merged
changeset
haftmann [Tue, 01 Sep 2009 14:13:34 +0200] rev 32478
merged
Tue, 01 Sep 2009 14:12:18 +0200 tuned
changeset
haftmann [Tue, 01 Sep 2009 14:12:18 +0200] rev 32477
tuned
Mon, 24 Aug 2009 08:31:41 +0200 avoid long line
changeset
haftmann [Mon, 24 Aug 2009 08:31:41 +0200] rev 32476
avoid long line
Tue, 01 Sep 2009 19:48:11 +0200 added txt to blacklist
changeset
nipkow [Tue, 01 Sep 2009 19:48:11 +0200] rev 32475
added txt to blacklist
Tue, 01 Sep 2009 21:03:04 +0200 Isabelle_Process: receiver as Actor, not EventBus;
changeset
wenzelm [Tue, 01 Sep 2009 21:03:04 +0200] rev 32474
Isabelle_Process: receiver as Actor, not EventBus; removed misleading Isabelle_Process.parse_message method -- use plain function instead;
Tue, 01 Sep 2009 15:21:22 +0200 merged
changeset
boehmes [Tue, 01 Sep 2009 15:21:22 +0200] rev 32473
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle