| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-11-13 | - first version of parallel asynchronous compilation for coq in | Hendrik Tews |
| 2012-11-06 | move ancestor locking back into specific part | Hendrik Tews |
| 2012-11-05 | move ancestor locking/unlocking to coq-compile-common | Hendrik Tews |
| 2012-11-05 | fix seq-seq misspelling | 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 | rename entities in coq-seq-compile | 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 |
| 2012-10-30 | move coq compilation into coq/coq-seq-compile.el | Hendrik Tews |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |