Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mon, 10 Feb 2014 21:51:15 +0100 merged
changeset
nipkow [Mon, 10 Feb 2014 21:51:15 +0100] rev 55376
merged
Mon, 10 Feb 2014 21:50:50 +0100 improved lin.arith. for terms involving division
changeset
nipkow [Mon, 10 Feb 2014 21:50:50 +0100] rev 55375
improved lin.arith. for terms involving division
Sun, 09 Feb 2014 21:37:27 +0100 restoring ancient string_classes option
changeset
haftmann [Sun, 09 Feb 2014 21:37:27 +0100] rev 55374
restoring ancient string_classes option
Sun, 09 Feb 2014 21:37:27 +0100 method names in instance declarations are always unqualified
changeset
haftmann [Sun, 09 Feb 2014 21:37:27 +0100] rev 55373
method names in instance declarations are always unqualified
Sun, 09 Feb 2014 21:37:27 +0100 dropped legacy finally
changeset
haftmann [Sun, 09 Feb 2014 21:37:27 +0100] rev 55372
dropped legacy finally
Sun, 09 Feb 2014 19:10:12 +0000 tidied messy proofs
changeset
paulson <lp15@cam.ac.uk> [Sun, 09 Feb 2014 19:10:12 +0000] rev 55371
tidied messy proofs
Sun, 09 Feb 2014 17:47:23 +0100 minimal document;
changeset
wenzelm [Sun, 09 Feb 2014 17:47:23 +0100] rev 55370
minimal document;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 tip
isabelle