| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Fix remaining uses of CL; Make files more declarative |  Stefan Monnier | 2018-12-14 |
| * | Fix most doc issues raised by (checkdoc) |  Erik Martin-Dorel | 2018-08-23 |
| * | Update copyright messages and improve the header of elisp files. | Erik Martin-Dorel | 2018-02-21 |
| * | use coq-- for internal compilation variables |  Hendrik Tews | 2016-11-30 |
| * | 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-29 |
| * | improve compilation when both .vio and .vo are up-to-date | Hendrik Tews | 2016-11-22 |
| * | fix parallel compilation for the unlikely case of identical time stamps | Hendrik Tews | 2016-11-17 |
| * | first version for quick compilation | Hendrik Tews | 2016-11-16 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |