Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sat, 17 Dec 2016 15:22:13 +0100 clarified library contents
changeset
haftmann [Sat, 17 Dec 2016 15:22:13 +0100] rev 64588
clarified library contents
Sat, 17 Dec 2016 15:22:13 +0100 standardized notation
changeset
haftmann [Sat, 17 Dec 2016 15:22:13 +0100] rev 64587
standardized notation
Sat, 17 Dec 2016 15:22:00 +0100 redundant
changeset
haftmann [Sat, 17 Dec 2016 15:22:00 +0100] rev 64586
redundant
Sat, 17 Dec 2016 15:22:00 +0100 renewed and spread FIXME tags on watering bin interpretation, which got partially lost in 9f089287687b
changeset
haftmann [Sat, 17 Dec 2016 15:22:00 +0100] rev 64585
renewed and spread FIXME tags on watering bin interpretation, which got partially lost in 9f089287687b
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 +3000 +10000 tip
isabelle