aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Derive proof-mode from prog-modeHEADmasterGravatar Benjamin Barenblat2019-04-18
* * pg-init.el: Add subdirs during compilation (bug #413)Gravatar Stefan Monnier2019-01-12
* Make coq-mode work without generic/proof-*Gravatar Stefan Monnier2018-12-26
* Reduce the impact of proof-site, in case PG is not usedGravatar Stefan Monnier2018-12-25
* * coq-mode.el: New file to make coq-mode independent from PGGravatar Stefan Monnier2018-12-22
* Cosmetic cleanup of coq-smie, coq-syntax, and coq-abbrev.Gravatar Stefan Monnier2018-12-15
* Prepend cl- to more c[ad]+r instancesGravatar Clément Pit-Claudel2018-12-15
* Use cl-caddr instead of caddrGravatar Clément Pit-Claudel2018-12-15
* Fix remaining uses of CL; Make files more declarativeGravatar Stefan Monnier2018-12-14
* Fixes the fix of #407. Is this temporary.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
* Remove code that hides mode-line.Gravatar Calvin Beck2018-11-12
* Reloading proof-autoloads is safe; don't forbid itGravatar Clément Pit-Claudel2018-09-01
* Merge pull request #169 from ProofGeneral/help-span-extendedGravatar Erik Martin-Dorel2018-08-25
|\
* | Run make autoloadsGravatar Erik Martin-Dorel2018-08-23
* | Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* | Bump version from 4.4.1~pre to 4.5-gitGravatar Erik Martin-Dorel2018-08-22
* | Merge pull request #200 from craff/masterGravatar Erik Martin-Dorel2018-08-22
|\ \
* | | Add a missing parameter in advice on font-lock-fontify-keywords-regionGravatar Clément Pit--Claudel2018-03-07
* | | Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* | | Bind C-c C-m (= C-c RET) to proof-goto-point [tty] (#228)Gravatar Erik Martin-Dorel2018-02-20
| * | phox is backGravatar Christophe Raffalli2017-09-22
|/ /
* | Fix pg-{show,hide}-all-proofs and Move them into pg-user.el.Gravatar Erik Martin-Dorel2017-08-15
* | Fix easycrypt automode regexpGravatar Mario Rodas2017-06-19
* | Fixing bug #187 by removing trailing spaces from prog name.Gravatar Pierre Courtieu2017-06-06
* | Remove mmm and ML4PG contribs and remove references to them in code and docsGravatar Paul Steckler2017-05-24
* | Change (eval-when (compile) ...) to (eval-when-compile ...)Gravatar Clément Pit--Claudel2017-05-05
* | Merge pull request #157 from ProofGeneral/elpaGravatar Clément Pit-Claudel2017-05-05
|\ \
* | | Fixing #167.Gravatar Pierre Courtieu2017-03-13
| | * extend helpspan, issue #158Gravatar Paul Steckler2017-03-09
| |/ |/|
| * Remove uses of defpgdefault in coq-abbrevGravatar Clément Pit--Claudel2017-03-08
| * Remove compile-time calls to proof-ready-for-assistantGravatar Clément Pit--Claudel2017-03-08
| * Remove unnecessary calls to 'eval-and-compile'Gravatar Clément Pit--Claudel2017-03-08
| * Remove some Emacs <24.1 compatibility cruftGravatar Clément Pit--Claudel2017-03-08
| * Fix incorrect uses of defvarGravatar Clément Pit--Claudel2017-03-08
| * Fix incorrect assumption that noninteractive == byte-compilingGravatar Clément Pit--Claudel2017-03-08
|/
* Merge pull request #163 from ProofGeneral/fix_indentationGravatar Pierre Courtieu2017-03-03
|\
* | Remove default key-binding for proof-electric-terminator-toggle.Gravatar Erik Martin-Dorel2017-03-03
* | Removing spurious debug messages.Gravatar Pierre Courtieu2017-02-24
* | Fixing #154.Gravatar Pierre Courtieu2017-02-23
| * Merge branch 'master' of github.com:ProofGeneral/PG into master_originGravatar Pierre Courtieu2017-01-26
| |\ | |/ |/|
| * annoying missing parentheisis in a comment.Gravatar Pierre Courtieu2017-01-24
* | save settings not defined with defpacustom (fixes #142)Gravatar Hendrik Tews2017-01-19
* | split emergency-cleanup to handle interrupts properly (fixes #143)Gravatar Hendrik Tews2017-01-18
* | move phox from main to obscure instancesGravatar Hendrik Tews2017-01-17
* | Merge pull request #44 from EasyCrypt/masterGravatar hendriktews2017-01-17
|\ \
* | | Fix prooftree for Coq 8.6Gravatar Hendrik Tews2017-01-14
| |/ |/|
* | Merge remote-tracking branch 'OFFICIAL/master'Gravatar Pierre Courtieu2017-01-04
|\ \
* | | Fixing #121 + avoid hiding user windows too much.Gravatar Pierre Courtieu2017-01-04