| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | add two Coq faq entries and improve some other |  Hendrik Tews | 2013-07-11 |
| | | |||
| * | Fixed interaction between file variables and coq project file + faq. |  Pierre Courtieu | 2013-07-09 |
| | | |||
| * | Updating coq/faq | Pierre Courtieu | 2013-07-08 |
| | | |||
| * | Added faq for coq pg. | Pierre Courtieu | 2013-07-02 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |