Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 28 Jul 2009 13:37:40 +0200 reinserted legacy ML function
changeset
haftmann [Tue, 28 Jul 2009 13:37:40 +0200] rev 32265
reinserted legacy ML function
Tue, 28 Jul 2009 13:37:09 +0200 Set.UNIV and Set.empty are mere abbreviations for top and bot
changeset
haftmann [Tue, 28 Jul 2009 13:37:09 +0200] rev 32264
Set.UNIV and Set.empty are mere abbreviations for top and bot
Tue, 28 Jul 2009 13:37:08 +0200 explicit is better than implicit
changeset
haftmann [Tue, 28 Jul 2009 13:37:08 +0200] rev 32263
explicit is better than implicit
Wed, 29 Jul 2009 19:35:10 +0200 Meson.first_order_resolve: avoid handle _;
changeset
wenzelm [Wed, 29 Jul 2009 19:35:10 +0200] rev 32262
Meson.first_order_resolve: avoid handle _; proper context for various Meson and Metis rules and tactics unified meson_tac/meson_claset_tac;
Wed, 29 Jul 2009 00:09:14 +0200 removed old global get_claset/map_claset;
changeset
wenzelm [Wed, 29 Jul 2009 00:09:14 +0200] rev 32261
removed old global get_claset/map_claset; added local get_claset/put_claset;
Tue, 28 Jul 2009 20:03:58 +0200 eliminated METAHYPS;
changeset
wenzelm [Tue, 28 Jul 2009 20:03:58 +0200] rev 32260
eliminated METAHYPS;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle