aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-system.el
Commit message (Expand)AuthorAge
* Remove compile-time calls to proof-ready-for-assistantGravatar Clément Pit--Claudel2017-03-08
* Fix incorrect uses of defvarGravatar Clément Pit--Claudel2017-03-08
* Fixing #147 and #91 + others indentation bugs.Gravatar Pierre Courtieu2017-01-26
* Fix prooftree for Coq 8.6Gravatar Hendrik Tews2017-01-14
* die gracefully when visiting files in nonexisting directoriesGravatar Hendrik Tews2016-12-15
* Merge pull request #132 from Matafou/masterGravatar Pierre Courtieu2016-12-14
|\
| * Same name guessing for coqc/coqdep then for coqtop.Gravatar Pierre Courtieu2016-12-13
| * remove default absolute name from coq-prog-name, but keep dipsplaying it when...Gravatar Pierre Courtieu2016-12-12
* | update documentationGravatar Hendrik Tews2016-11-29
|/
* give a more helpful error message if Coq version detection failsGravatar Hendrik Tews2016-10-27
* fix parallel compilation and improve assertions and debugging codeGravatar Hendrik Tews2016-10-27
* Make it possible to work around #113Gravatar Clément Pit--Claudel2016-09-28
* Fail silently if Coq's version can't be detectedGravatar Clément Pit--Claudel2016-05-19
* Small fix for -Q options in loadpath.Gravatar Pierre Courtieu2016-03-08
* Remove leftover commentGravatar Clément Pit--Claudel2016-02-28
* Ensure that version detection does not fail in 24.3Gravatar Clément Pit--Claudel2016-02-06
* Use coq-prog-name to autodetect version numberGravatar Clément Pit--Claudel2016-02-06
* Add a few comments to explain values of coq-load-pathGravatar Clément Pit--Claudel2016-01-14
* Mark coq-load-path-include-current as obsoleteGravatar Clément Pit--Claudel2016-01-14
* Automatically detect which version of Coq we're usingGravatar Clément Pit--Claudel2016-01-14
* Refactor the project file parsing codeGravatar Clément Pit--Claudel2016-01-14
* Refactoring. New file coq-system.el.Gravatar Pierre Courtieu2015-12-14