Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |