Commit message (Expand) | Author | Age | |
---|---|---|---|
* | More fallout from elisp rename | 2014-10-16 | |
* | Fix make install after 3e972b3ff8e532be233f70567c87512324c99b4e | 2013-12-17 | |
* | coq-inferior, by Marco Maggesi | 2002-04-15 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | More fallout from elisp rename | 2014-10-16 | |
* | Fix make install after 3e972b3ff8e532be233f70567c87512324c99b4e | 2013-12-17 | |
* | coq-inferior, by Marco Maggesi | 2002-04-15 |