| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-04-01 | SearchAbout is deprecated since 8.5; use Search instead | Clément Pit-Claudel | |
| 2013-07-11 | add two Coq faq entries and improve some other | Hendrik Tews | |
| 2013-07-09 | Fixed interaction between file variables and coq project file + faq. | Pierre Courtieu | |
| 2013-07-08 | Updating coq/faq | Pierre Courtieu | |
| 2013-07-02 | Added faq for coq pg. | Pierre Courtieu | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |