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.
Thu, 03 Sep 2009 20:26:07 +0200 merged
changeset
haftmann [Thu, 03 Sep 2009 20:26:07 +0200] rev 32514
merged
Thu, 03 Sep 2009 17:26:10 +0200 merged
changeset
haftmann [Thu, 03 Sep 2009 17:26:10 +0200] rev 32513
merged
Thu, 03 Sep 2009 15:39:02 +0200 proper class syntax for sublocale class < expr
changeset
haftmann [Thu, 03 Sep 2009 15:39:02 +0200] rev 32512
proper class syntax for sublocale class < expr
Thu, 03 Sep 2009 18:41:58 +0200 added option full_typed for sledgehammer action
changeset
boehmes [Thu, 03 Sep 2009 18:41:58 +0200] rev 32511
added option full_typed for sledgehammer action
Thu, 03 Sep 2009 17:55:31 +0200 added runtime information to sledgehammer
changeset
boehmes [Thu, 03 Sep 2009 17:55:31 +0200] rev 32510
added runtime information to sledgehammer
Thu, 03 Sep 2009 15:47:39 +0200 tuned
changeset
boehmes [Thu, 03 Sep 2009 15:47:39 +0200] rev 32509
tuned
Thu, 03 Sep 2009 15:30:05 +0200 scaled avg_time
changeset
nipkow [Thu, 03 Sep 2009 15:30:05 +0200] rev 32508
scaled avg_time
Thu, 03 Sep 2009 14:50:02 +0200 merged
changeset
nipkow [Thu, 03 Sep 2009 14:50:02 +0200] rev 32507
merged
Thu, 03 Sep 2009 14:49:34 +0200 tuned
changeset
nipkow [Thu, 03 Sep 2009 14:49:34 +0200] rev 32506
tuned
Thu, 03 Sep 2009 14:40:52 +0200 isatest: collect test results and logs in testdata repository
changeset
krauss [Thu, 03 Sep 2009 14:40:52 +0200] rev 32505
isatest: collect test results and logs in testdata repository
Thu, 03 Sep 2009 14:31:04 +0200 replaced backlist by whitelist
changeset
boehmes [Thu, 03 Sep 2009 14:31:04 +0200] rev 32504
replaced backlist by whitelist
Thu, 03 Sep 2009 14:05:13 +0200 Mirabelle: logging of exceptions (works only for PolyML)
changeset
boehmes [Thu, 03 Sep 2009 14:05:13 +0200] rev 32503
Mirabelle: logging of exceptions (works only for PolyML)
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
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle