Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mon, 16 Sep 2013 11:54:57 +0200 make ML function for deleting quotients public
changeset
kuncar [Mon, 16 Sep 2013 11:54:57 +0200] rev 53650
make ML function for deleting quotients public
Mon, 16 Sep 2013 11:54:57 +0200 public access to the raw transfer rules - for restoring transferring
changeset
kuncar [Mon, 16 Sep 2013 11:54:57 +0200] rev 53649
public access to the raw transfer rules - for restoring transferring
Mon, 16 Sep 2013 11:22:06 +0200 another move to avoid sporadic kill of poly, which is presumably due to resource management on lxbroy2, lxbroy3 etc.;
changeset
wenzelm [Mon, 16 Sep 2013 11:22:06 +0200] rev 53648
another move to avoid sporadic kill of poly, which is presumably due to resource management on lxbroy2, lxbroy3 etc.;
Mon, 16 Sep 2013 00:40:02 +0200 more (co)data docs
changeset
blanchet [Mon, 16 Sep 2013 00:40:02 +0200] rev 53647
more (co)data docs
Sun, 15 Sep 2013 23:02:23 +0200 more (co)data docs
changeset
blanchet [Sun, 15 Sep 2013 23:02:23 +0200] rev 53646
more (co)data docs
Sun, 15 Sep 2013 23:02:23 +0200 added missing theorems to "simps" collection
changeset
blanchet [Sun, 15 Sep 2013 23:02:23 +0200] rev 53645
added missing theorems to "simps" collection
Sun, 15 Sep 2013 23:02:23 +0200 more (co)data docs
changeset
blanchet [Sun, 15 Sep 2013 23:02:23 +0200] rev 53644
more (co)data docs
Sun, 15 Sep 2013 23:02:23 +0200 more (co)data docs
changeset
blanchet [Sun, 15 Sep 2013 23:02:23 +0200] rev 53643
more (co)data docs
Sun, 15 Sep 2013 23:02:23 +0200 more (co)data docs
changeset
blanchet [Sun, 15 Sep 2013 23:02:23 +0200] rev 53642
more (co)data docs
Sat, 14 Sep 2013 23:58:58 +0200 merged
changeset
wenzelm [Sat, 14 Sep 2013 23:58:58 +0200] rev 53641
merged
Sat, 14 Sep 2013 23:52:36 +0200 tuned proofs;
changeset
wenzelm [Sat, 14 Sep 2013 23:52:36 +0200] rev 53640
tuned proofs;
Sat, 14 Sep 2013 22:50:15 +0200 tuned magic number, for improved reactivity on old 2-core machine;
changeset
wenzelm [Sat, 14 Sep 2013 22:50:15 +0200] rev 53639
tuned magic number, for improved reactivity on old 2-core machine;
Sat, 14 Sep 2013 22:30:10 +0200 tuned proofs;
changeset
wenzelm [Sat, 14 Sep 2013 22:30:10 +0200] rev 53638
tuned proofs;
Sat, 14 Sep 2013 22:34:25 +0200 updated keywords
changeset
krauss [Sat, 14 Sep 2013 22:34:25 +0200] rev 53637
updated keywords
Sat, 14 Sep 2013 18:24:12 +0200 tuned proof
changeset
haftmann [Sat, 14 Sep 2013 18:24:12 +0200] rev 53636
tuned proof
Sat, 14 Sep 2013 14:01:48 +0200 merged
changeset
wenzelm [Sat, 14 Sep 2013 14:01:48 +0200] rev 53635
merged
Sat, 14 Sep 2013 13:59:57 +0200 tuned proofs;
changeset
wenzelm [Sat, 14 Sep 2013 13:59:57 +0200] rev 53634
tuned proofs;
Sat, 14 Sep 2013 20:57:22 +1000 print find_thms result in reverse order so best result is on top
changeset
kleing [Sat, 14 Sep 2013 20:57:22 +1000] rev 53633
print find_thms result in reverse order so best result is on top
Sat, 14 Sep 2013 20:56:12 +1000 more useful sorting of find_thms results
changeset
kleing [Sat, 14 Sep 2013 20:56:12 +1000] rev 53632
more useful sorting of find_thms results
Fri, 13 Sep 2013 23:52:01 +0200 proper sharing after change of directory structure (cf. 32ec957e5c3e);
changeset
wenzelm [Fri, 13 Sep 2013 23:52:01 +0200] rev 53631
proper sharing after change of directory structure (cf. 32ec957e5c3e); result is structurally equal, despite change of hash key;
Fri, 13 Sep 2013 23:17:04 +0200 restricted heap, which might improve stability of this test;
changeset
wenzelm [Fri, 13 Sep 2013 23:17:04 +0200] rev 53630
restricted heap, which might improve stability of this test;
Fri, 13 Sep 2013 22:33:16 +0200 merged
changeset
wenzelm [Fri, 13 Sep 2013 22:33:16 +0200] rev 53629
merged
Fri, 13 Sep 2013 22:31:56 +0200 tuned proofs;
changeset
wenzelm [Fri, 13 Sep 2013 22:31:56 +0200] rev 53628
tuned proofs;
Fri, 13 Sep 2013 22:16:26 +0200 tuned proofs;
changeset
wenzelm [Fri, 13 Sep 2013 22:16:26 +0200] rev 53627
tuned proofs;
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 +10000 tip
isabelle