| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2007-08-08 | A better Program documentation. Include it in the generated stdlib doc. | msozeau | |
| git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10061 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
| 2007-08-07 | Move Program tactics into a proper theories/ directory as they are general ↵ | msozeau | |
| purpose and can be used directly be the user. Document them. Change Prelude to disambiguate an import of a Tactics module. git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10060 85f007b7-540e-0410-9357-904b9bb8a0f7 | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |