aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/coq-system.el
Commit message (Expand)AuthorAge
* * coq-mode.el: New file to make coq-mode independent from PGGravatar Stefan Monnier2018-12-22
* Fixes the fix of #407. Is this temporary.Gravatar Pierre Courtieu2018-12-14
* Merge branch 'master' of github.com:ProofGeneral/PGGravatar Pierre Courtieu2018-12-14
|\
* | Fix #407: -topfile added if coq > v8.10alpha.Gravatar Pierre Courtieu2018-12-14
| * Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
| * Cleanup patch; Moving defvar to toplevelGravatar Stefan Monnier2018-12-12
|/
* Use non-remote path to expand paths in _CoqProject when file is remote.Gravatar Daniel Patterson2018-10-30
* Fix parsing of -arg in _CoqProject fileGravatar Anton Trunov2018-09-27
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Fix #7980, keep option order unchanged.Gravatar Pierre Courtieu2018-08-18
* fix #355 + probable bug.Gravatar Pierre Courtieu2018-06-11
* Merge pull request #207 from SkySkimmer/masterGravatar Erik Martin-Dorel2018-04-08
|\
* | Fix typos in custom variable descriptions. (#236)Gravatar Tej Chajed2018-03-03
* | Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
| * Make coq-prog-args safe when list of strings.Gravatar Gaëtan Gilbert2017-12-22
|/
* changed -emacs-U flag to -emacsGravatar Paul Steckler2017-07-19
* Change (eval-when (compile) ...) to (eval-when-compile ...)Gravatar Clément Pit--Claudel2017-05-05
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-02 04:32:21 +0000