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 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wed, 11 Aug 2010 12:03:57 +0200 added .ML extension
changeset
haftmann [Wed, 11 Aug 2010 12:03:57 +0200] rev 38324
added .ML extension
Wed, 11 Aug 2010 11:56:57 +0200 avoid old unnamed infix
changeset
haftmann [Wed, 11 Aug 2010 11:56:57 +0200] rev 38323
avoid old unnamed infix
Wed, 11 Aug 2010 11:52:40 +0200 avoid inclusion of Natural module in generated code
changeset
haftmann [Wed, 11 Aug 2010 11:52:40 +0200] rev 38322
avoid inclusion of Natural module in generated code
Wed, 11 Aug 2010 09:06:31 +0200 explicit ML extension
changeset
haftmann [Wed, 11 Aug 2010 09:06:31 +0200] rev 38321
explicit ML extension
Wed, 11 Aug 2010 08:50:20 +0200 merged
changeset
haftmann [Wed, 11 Aug 2010 08:50:20 +0200] rev 38320
merged
Tue, 10 Aug 2010 16:03:54 +0200 separate initialisation for overloading and instantiation target
changeset
haftmann [Tue, 10 Aug 2010 16:03:54 +0200] rev 38319
separate initialisation for overloading and instantiation target
Tue, 10 Aug 2010 15:38:33 +0200 different foundations for different targets; simplified syntax handling of abbreviations
changeset
haftmann [Tue, 10 Aug 2010 15:38:33 +0200] rev 38318
different foundations for different targets; simplified syntax handling of abbreviations
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle