aboutsummaryrefslogtreecommitdiff
path: root/coq/coq-system.el
AgeCommit message (Expand)Author
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-08-18Fix #7980, keep option order unchanged.Pierre Courtieu
2018-06-11fix #355 + probable bug.Pierre Courtieu
2018-04-08Merge pull request #207 from SkySkimmer/masterErik Martin-Dorel
2018-03-03Fix typos in custom variable descriptions. (#236)Tej Chajed
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2017-12-22Make coq-prog-args safe when list of strings.Gaëtan Gilbert
2017-07-19changed -emacs-U flag to -emacsPaul Steckler
2017-05-05Change (eval-when (compile) ...) to (eval-when-compile ...)Clément Pit--Claudel
2017-03-08Remove compile-time calls to proof-ready-for-assistantClément Pit--Claudel
2017-03-08Fix incorrect uses of defvarClément Pit--Claudel
2017-01-26Fixing #147 and #91 + others indentation bugs.Pierre Courtieu
2017-01-14Fix prooftree for Coq 8.6Hendrik Tews
2016-12-15die gracefully when visiting files in nonexisting directoriesHendrik Tews
2016-12-14Merge pull request #132 from Matafou/masterPierre Courtieu
2016-12-13Same name guessing for coqc/coqdep then for coqtop.Pierre Courtieu
2016-12-12remove default absolute name from coq-prog-name, but keep dipsplaying it when...Pierre Courtieu
2016-11-29update documentationHendrik Tews
2016-10-27give a more helpful error message if Coq version detection failsHendrik Tews
2016-10-27fix parallel compilation and improve assertions and debugging codeHendrik Tews
2016-09-28Make it possible to work around #113Clément Pit--Claudel
2016-05-19Fail silently if Coq's version can't be detectedClément Pit--Claudel
2016-03-08Small fix for -Q options in loadpath.Pierre Courtieu
2016-02-28Remove leftover commentClément Pit--Claudel
2016-02-06Ensure that version detection does not fail in 24.3Clément Pit--Claudel
2016-02-06Use coq-prog-name to autodetect version numberClément Pit--Claudel
2016-01-14Add a few comments to explain values of coq-load-pathClément Pit--Claudel
2016-01-14Mark coq-load-path-include-current as obsoleteClément Pit--Claudel
2016-01-14Automatically detect which version of Coq we're usingClément Pit--Claudel
2016-01-14Refactor the project file parsing codeClément Pit--Claudel
2015-12-14Refactoring. New file coq-system.el.Pierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-27 19:09:59 +0000