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.
Mon, 26 Jul 2010 11:15:10 +0200 restored unusual snd-biased merge/join policy -- required due to non-conservative code setups
changeset
haftmann [Mon, 26 Jul 2010 11:15:10 +0200] rev 37972
restored unusual snd-biased merge/join policy -- required due to non-conservative code setups
Mon, 26 Jul 2010 11:11:10 +0200 merged
changeset
haftmann [Mon, 26 Jul 2010 11:11:10 +0200] rev 37971
merged
Mon, 26 Jul 2010 11:10:57 +0200 reactivated Scala check
changeset
haftmann [Mon, 26 Jul 2010 11:10:57 +0200] rev 37970
reactivated Scala check
Mon, 26 Jul 2010 11:10:36 +0200 corrected range check once more
changeset
haftmann [Mon, 26 Jul 2010 11:10:36 +0200] rev 37969
corrected range check once more
Mon, 26 Jul 2010 11:10:35 +0200 added Code_Natural.thy
changeset
haftmann [Mon, 26 Jul 2010 11:10:35 +0200] rev 37968
added Code_Natural.thy
Mon, 26 Jul 2010 11:09:45 +0200 reactivated Scala check; tuned import order
changeset
haftmann [Mon, 26 Jul 2010 11:09:45 +0200] rev 37967
reactivated Scala check; tuned import order
Mon, 26 Jul 2010 11:09:45 +0200 reactivated Scala check
changeset
haftmann [Mon, 26 Jul 2010 11:09:45 +0200] rev 37966
reactivated Scala check
Mon, 26 Jul 2010 11:09:44 +0200 modified namespace policy
changeset
haftmann [Mon, 26 Jul 2010 11:09:44 +0200] rev 37965
modified namespace policy
Mon, 26 Jul 2010 11:09:44 +0200 use Natural as index type for Haskell and Scala
changeset
haftmann [Mon, 26 Jul 2010 11:09:44 +0200] rev 37964
use Natural as index type for Haskell and Scala
Sun, 25 Jul 2010 15:43:53 +0200 merged
changeset
blanchet [Sun, 25 Jul 2010 15:43:53 +0200] rev 37963
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle