| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-01-10 | add Coq compile test for a delayed require | Hendrik Tews |
| 2020-05-28 | fix: test files should not provide features | Erik Martin-Dorel |
| 2018-12-14 | Fix remaining uses of CL; Make files more declarative | Stefan Monnier |
| 2018-08-23 | Fix most doc issues raised by (checkdoc) | Erik Martin-Dorel |
| 2018-02-21 | Update copyright messages and improve the header of elisp files. | Erik Martin-Dorel |
| 2016-11-30 | use coq-- for internal compilation variables | Hendrik Tews |
| 2016-11-29 | 8.4 compatibility for quick support | Hendrik Tews |
| 2016-11-29 | don't unnecessarily delete .vio files for ensure-vo | Hendrik Tews |
| 2016-11-29 | support vio2vo background processing | Hendrik Tews |
| 2016-11-22 | improve compilation when both .vio and .vo are up-to-date | Hendrik Tews |
| 2016-11-17 | fix parallel compilation for the unlikely case of identical time stamps | Hendrik Tews |
| 2016-11-16 | first version for quick compilation | Hendrik Tews |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |