| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | fix Emacs compiler warning on '(lambda...) |  Hendrik Tews | 2017-02-06 |
| * | "allows to", like "allowing to", is improper |  Jason Gross | 2014-08-25 |
| * | Fix make install after 3e972b3ff8e532be233f70567c87512324c99b4e |  Pierre Boutillier | 2013-12-17 |
| * | Renaming elisp files to avoid conflict with pg in distribs. |  Pierre Courtieu | 2013-12-10 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |