| Commit message (Collapse) | Author | Age |
|
|
|
|
|
|
|
| |
This agrees with the minimal version of GNU Emacs currently tested by
Travis CI, as well as with the version packaged in Ubuntu 14.04 LTS
Reference:
https://github.com/ProofGeneral/PG/issues/368#issuecomment-397561986
|
| |
|
| |
|
|
|
| |
This commit contributes to shorten the real time of Travis' automated build.
|
|
|
|
| |
Ref: https://github.com/FStarLang/fstar-mode.el/blob/master/Makefile.travis
|
|
From https://github.com/FStarLang/fstar-mode.el/blob/master/.travis.yml
|