Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +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.
Tue, 24 Feb 2009 16:12:27 +0100 Eliminated ZCHAFF_VERSION configuration variable, since zChaff's output format is identical in all versions since March 2003 (at least), and also because it forces users who want to use the latest versions to lie about the version number.
changeset
blanchet [Tue, 24 Feb 2009 16:12:27 +0100] rev 30237
Eliminated ZCHAFF_VERSION configuration variable, since zChaff's output format is identical in all versions since March 2003 (at least), and also because it forces users who want to use the latest versions to lie about the version number. I also made the BERKMIN_EXE variable optional, defaulting to BerkMin561 (a reasonable name with no platform encoded in it). These changes have no inpacts on already working Isabelle installations.
Wed, 04 Mar 2009 10:47:35 +0100 merged
changeset
nipkow [Wed, 04 Mar 2009 10:47:35 +0100] rev 30236
merged
Wed, 04 Mar 2009 10:47:20 +0100 Made Option a separate theory and renamed option_map to Option.map
changeset
nipkow [Wed, 04 Mar 2009 10:47:20 +0100] rev 30235
Made Option a separate theory and renamed option_map to Option.map
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle