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 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wed, 11 Sep 2013 23:55:47 +0200 more (co)datatype docs
changeset
blanchet [Wed, 11 Sep 2013 23:55:47 +0200] rev 53552
more (co)datatype docs
Wed, 11 Sep 2013 22:20:45 +0200 killed dead code
changeset
blanchet [Wed, 11 Sep 2013 22:20:45 +0200] rev 53551
killed dead code
Wed, 11 Sep 2013 22:20:45 +0200 get rid of another complication in relevance filter
changeset
blanchet [Wed, 11 Sep 2013 22:20:45 +0200] rev 53550
get rid of another complication in relevance filter
Wed, 11 Sep 2013 22:20:44 +0200 tuning
changeset
blanchet [Wed, 11 Sep 2013 22:20:44 +0200] rev 53549
tuning
Wed, 11 Sep 2013 22:20:43 +0200 renamed config option
changeset
blanchet [Wed, 11 Sep 2013 22:20:43 +0200] rev 53548
renamed config option
Wed, 11 Sep 2013 18:52:30 +0200 more correct NEWS
changeset
haftmann [Wed, 11 Sep 2013 18:52:30 +0200] rev 53547
more correct NEWS
Wed, 11 Sep 2013 18:38:23 +0200 kick out totally hopeless facts after 5 iterations to speed things up
changeset
blanchet [Wed, 11 Sep 2013 18:38:23 +0200] rev 53546
kick out totally hopeless facts after 5 iterations to speed things up
Wed, 11 Sep 2013 18:37:47 +0200 reintroduced 8d8f72aa5c0b, which does make a small difference in practice, but implemented more efficiently
changeset
blanchet [Wed, 11 Sep 2013 18:37:47 +0200] rev 53545
reintroduced 8d8f72aa5c0b, which does make a small difference in practice, but implemented more efficiently
Wed, 11 Sep 2013 18:32:43 +0200 more (co)data docs
changeset
blanchet [Wed, 11 Sep 2013 18:32:43 +0200] rev 53544
more (co)data docs
Wed, 11 Sep 2013 17:17:58 +0200 more (co)data docs
changeset
blanchet [Wed, 11 Sep 2013 17:17:58 +0200] rev 53543
more (co)data docs
Wed, 11 Sep 2013 16:55:01 +0200 more (co)data docs
changeset
blanchet [Wed, 11 Sep 2013 16:55:01 +0200] rev 53542
more (co)data docs
Wed, 11 Sep 2013 16:16:45 +0200 merged
changeset
wenzelm [Wed, 11 Sep 2013 16:16:45 +0200] rev 53541
merged
Wed, 11 Sep 2013 15:54:53 +0200 prefer explicit type constraint (again, see also Type.appl_error);
changeset
wenzelm [Wed, 11 Sep 2013 15:54:53 +0200] rev 53540
prefer explicit type constraint (again, see also Type.appl_error); pretty const with markup; clarified "the context";
Wed, 11 Sep 2013 15:42:05 +0200 tuned signature;
changeset
wenzelm [Wed, 11 Sep 2013 15:42:05 +0200] rev 53539
tuned signature;
Wed, 11 Sep 2013 15:30:12 +0200 tuned whitespace;
changeset
wenzelm [Wed, 11 Sep 2013 15:30:12 +0200] rev 53538
tuned whitespace;
Wed, 11 Sep 2013 15:25:51 +0200 tuned message;
changeset
wenzelm [Wed, 11 Sep 2013 15:25:51 +0200] rev 53537
tuned message;
Wed, 11 Sep 2013 14:23:06 +0200 do not expose internal flags to attribute name space;
changeset
wenzelm [Wed, 11 Sep 2013 14:23:06 +0200] rev 53536
do not expose internal flags to attribute name space;
Wed, 11 Sep 2013 15:49:39 +0200 more (co)data docs
changeset
blanchet [Wed, 11 Sep 2013 15:49:39 +0200] rev 53535
more (co)data docs
Wed, 11 Sep 2013 15:22:43 +0200 more (co)datatype documentation
changeset
blanchet [Wed, 11 Sep 2013 15:22:43 +0200] rev 53534
more (co)datatype documentation
Wed, 11 Sep 2013 14:07:24 +0200 tuning
changeset
blanchet [Wed, 11 Sep 2013 14:07:24 +0200] rev 53533
tuning
Wed, 11 Sep 2013 14:07:24 +0200 disable some checks for huge background theories
changeset
blanchet [Wed, 11 Sep 2013 14:07:24 +0200] rev 53532
disable some checks for huge background theories
Wed, 11 Sep 2013 14:07:24 +0200 tuning
changeset
blanchet [Wed, 11 Sep 2013 14:07:24 +0200] rev 53531
tuning
Wed, 11 Sep 2013 14:07:24 +0200 reintroduced half of f99ee3adb81d -- that part definitely looks useless (and is inefficient)
changeset
blanchet [Wed, 11 Sep 2013 14:07:24 +0200] rev 53530
reintroduced half of f99ee3adb81d -- that part definitely looks useless (and is inefficient)
Wed, 11 Sep 2013 14:07:24 +0200 reverted f99ee3adb81d -- that old logic seems to make a difference still today
changeset
blanchet [Wed, 11 Sep 2013 14:07:24 +0200] rev 53529
reverted f99ee3adb81d -- that old logic seems to make a difference still today
Wed, 11 Sep 2013 11:38:07 +0200 merged
changeset
wenzelm [Wed, 11 Sep 2013 11:38:07 +0200] rev 53528
merged
Wed, 11 Sep 2013 11:34:27 +0200 tuned comment;
changeset
wenzelm [Wed, 11 Sep 2013 11:34:27 +0200] rev 53527
tuned comment;
Wed, 11 Sep 2013 11:08:48 +0200 tuned;
changeset
wenzelm [Wed, 11 Sep 2013 11:08:48 +0200] rev 53526
tuned;
Wed, 11 Sep 2013 11:07:39 +0200 updated for release;
changeset
wenzelm [Wed, 11 Sep 2013 11:07:39 +0200] rev 53525
updated for release;
Wed, 11 Sep 2013 00:00:59 +0200 tuned proofs;
changeset
wenzelm [Wed, 11 Sep 2013 00:00:59 +0200] rev 53524
tuned proofs;
Tue, 10 Sep 2013 23:50:03 +0200 tuned proofs;
changeset
wenzelm [Tue, 10 Sep 2013 23:50:03 +0200] rev 53523
tuned proofs;
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip
isabelle