Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sat, 27 Aug 2011 16:01:24 +0200 tuned colors;
changeset
wenzelm [Sat, 27 Aug 2011 16:01:24 +0200] rev 44546
tuned colors;
Sat, 27 Aug 2011 15:53:18 +0200 transparent foreground color for quoted entities;
changeset
wenzelm [Sat, 27 Aug 2011 15:53:18 +0200] rev 44545
transparent foreground color for quoted entities;
Sat, 27 Aug 2011 13:26:06 +0200 more precise treatment of nodes that are fully required for partially visible ones;
changeset
wenzelm [Sat, 27 Aug 2011 13:26:06 +0200] rev 44544
more precise treatment of nodes that are fully required for partially visible ones;
Sat, 27 Aug 2011 12:22:24 +0200 de-assigned commands also count as changed;
changeset
wenzelm [Sat, 27 Aug 2011 12:22:24 +0200] rev 44543
de-assigned commands also count as changed;
Sat, 27 Aug 2011 11:22:21 +0200 beef up sledgehammer_tac in Mirabelle some more
changeset
blanchet [Sat, 27 Aug 2011 11:22:21 +0200] rev 44542
beef up sledgehammer_tac in Mirabelle some more
Sat, 27 Aug 2011 11:22:11 +0200 merged
changeset
blanchet [Sat, 27 Aug 2011 11:22:11 +0200] rev 44541
merged
Fri, 26 Aug 2011 21:52:11 +0200 change default for generation of tag idempotence and tag argument equations
changeset
blanchet [Fri, 26 Aug 2011 21:52:11 +0200] rev 44540
change default for generation of tag idempotence and tag argument equations
Fri, 26 Aug 2011 15:11:33 -0700 merged
changeset
huffman [Fri, 26 Aug 2011 15:11:33 -0700] rev 44539
merged
Fri, 26 Aug 2011 15:11:26 -0700 NEWS entry for setsum_norm ~> norm_setsum
changeset
huffman [Fri, 26 Aug 2011 15:11:26 -0700] rev 44538
NEWS entry for setsum_norm ~> norm_setsum
Fri, 26 Aug 2011 15:00:00 -0700 make HOL-Probability respect set/pred distinction
changeset
huffman [Fri, 26 Aug 2011 15:00:00 -0700] rev 44537
make HOL-Probability respect set/pred distinction
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle