| Age | Commit message (Expand) | 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 |