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.
Thu, 17 Dec 2009 13:58:15 +0100 robust representation of low ASCII control characters within XML/YXML text;
changeset
wenzelm [Thu, 17 Dec 2009 13:58:15 +0100] rev 34095
robust representation of low ASCII control characters within XML/YXML text;
Wed, 16 Dec 2009 15:15:39 +0100 merged
changeset
wenzelm [Wed, 16 Dec 2009 15:15:39 +0100] rev 34094
merged
Wed, 16 Dec 2009 15:15:05 +0100 filter out identical completions;
changeset
wenzelm [Wed, 16 Dec 2009 15:15:05 +0100] rev 34093
filter out identical completions;
Wed, 16 Dec 2009 14:24:18 +0100 spaces not allowed, unfortunately
changeset
haftmann [Wed, 16 Dec 2009 14:24:18 +0100] rev 34092
spaces not allowed, unfortunately
Wed, 16 Dec 2009 14:15:24 +0100 user aliasses
changeset
haftmann [Wed, 16 Dec 2009 14:15:24 +0100] rev 34091
user aliasses
Mon, 14 Dec 2009 21:28:28 +0100 merged
changeset
boehmes [Mon, 14 Dec 2009 21:28:28 +0100] rev 34090
merged
Mon, 14 Dec 2009 21:27:59 +0100 replaced blast by metis (blast hangs with polyml-5.2)
changeset
boehmes [Mon, 14 Dec 2009 21:27:59 +0100] rev 34089
replaced blast by metis (blast hangs with polyml-5.2)
Mon, 14 Dec 2009 16:35:00 +0100 avoid negative indices as argument ot drop
changeset
haftmann [Mon, 14 Dec 2009 16:35:00 +0100] rev 34088
avoid negative indices as argument ot drop
Mon, 14 Dec 2009 11:30:13 +0000 Upgraded a warning to an error
changeset
paulson [Mon, 14 Dec 2009 11:30:13 +0000] rev 34087
Upgraded a warning to an error
Mon, 14 Dec 2009 11:01:04 +0100 merged
changeset
haftmann [Mon, 14 Dec 2009 11:01:04 +0100] rev 34086
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle