Mercurial Mercurial > repos > isabelle / shortlog
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, 04 Mar 2009 10:45:52 +0100 blanchet Merge. changeset | files
Wed, 04 Mar 2009 10:43:39 +0100 blanchet Made Refute.norm_rhs public, so I can use it in Nitpick. changeset | files
Sun, 01 Mar 2009 18:40:16 +0100 blanchet Added "nitpick_const_def" attribute, for overriding the definition axiom of a constant. changeset | files
Tue, 24 Feb 2009 16:12:27 +0100 blanchet 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 | files
Wed, 04 Mar 2009 10:47:35 +0100 nipkow merged changeset | files
Wed, 04 Mar 2009 10:47:20 +0100 nipkow Made Option a separate theory and renamed option_map to Option.map changeset | files
Wed, 04 Mar 2009 00:05:20 +0100 wenzelm renamed Method.assumption_tac back to Method.assm_tac -- as assumption_tac it would have to be exactly the tactic behind the assumption method (with facts); changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle