| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-11-05 | move ancestor locking/unlocking to coq-compile-common | Hendrik Tews |
| 2012-11-05 | move buffer saving to coq-compile-common | Hendrik Tews |
| 2012-11-03 | make coq-include-options independent of current buffer | Hendrik Tews |
| 2012-11-03 | move another 2 functions into coq-compile-common | Hendrik Tews |
| 2012-11-01 | move function for coq-compile-response-buffer to coq-compile-common.el | Hendrik Tews |
| 2012-10-30 | move some more material into coq-compile-common | Hendrik Tews |
| 2012-10-30 | move general part of compilation into coq-compile-common.el | Hendrik Tews |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |