| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | corrected a bug of pg/coq, the following line was not recognized as a |  Pierre Courtieu | 2003-02-20 |
| * | code cleaning + deals better with the new module system of Coq. Did | Pierre Courtieu | 2003-02-03 |
| * | Added a file for testing modules of coq (new version 7.4). Plus some | Pierre Courtieu | 2003-01-29 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |