Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Removal of trailing spaces. | serpyc | 2009-10-04 |
| | | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12371 85f007b7-540e-0410-9357-904b9bb8a0f7 | ||
* | Add the option to automatically introduce variables declared before the | msozeau | 2009-09-22 |
colon in (mutual) proofs with [Set Automatic Introduction]. Fix a minor test-suite issue in ProgramWf due to new handling of the default obligation tactic. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12351 85f007b7-540e-0410-9357-904b9bb8a0f7 |