aboutsummaryrefslogtreecommitdiff
path: root/coq/coq-system.el
AgeCommit message (Expand)Author
2021-04-08Fix useless quotes generatinf warnings.Pierre Courtieu
2021-02-22protect uses of coq-callcoqHendrik Tews
2021-01-31fix typos and unicode single quotations in doc stringsHendrik Tews
2020-12-07protect coq-callcoq against escaping signalsHendrik Tews
2020-12-07fix coq-callcoq for emacs 27Hendrik Tews
2020-04-15coq-par-compile: support -vos for coq >= 8.11 and default setting changeHendrik Tews
2020-04-01Change "" into nil in argument to appendClément Pit-Claudel
2020-03-26Cleaning previous commit, following @cpitclaudel advices.Pierre Courtieu
2020-03-26Fix #472. Removed -topfile when file name incorrect.Pierre Courtieu
2019-10-07Make -topfile facility work for unnamed filesKazuhiko Sakaguchi
2019-05-22FIX #422.Pierre Courtieu
2019-04-19Clean -topfile for coq-prog-args properlyGaëtan Gilbert
2018-12-22* coq-mode.el: New file to make coq-mode independent from PGStefan Monnier
2018-12-14Fixes the fix of #407. Is this temporary.Pierre Courtieu
2018-12-14Merge branch 'master' of github.com:ProofGeneral/PGPierre Courtieu
2018-12-14Fix #407: -topfile added if coq > v8.10alpha.Pierre Courtieu
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
2018-12-12Cleanup patch; Moving defvar to toplevelStefan Monnier
2018-10-30Use non-remote path to expand paths in _CoqProject when file is remote.Daniel Patterson
2018-09-27Fix parsing of -arg in _CoqProject fileAnton Trunov
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:07:50 +0000