Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Update copyright messages and improve the header of elisp files. | 2018-02-21 | |
* | use coq-- for internal compilation variables | 2016-11-30 | |
* | 8.4 compatibility for quick support | 2016-11-29 | |
* | don't unnecessarily delete .vio files for ensure-vo | 2016-11-29 | |
* | support vio2vo background processing | 2016-11-29 | |
* | improve compilation when both .vio and .vo are up-to-date | 2016-11-22 | |
* | fix parallel compilation for the unlikely case of identical time stamps | 2016-11-17 | |
* | first version for quick compilation | 2016-11-16 |