aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Derive proof-mode from prog-modeHEADmasterGravatar Benjamin Barenblat2019-04-18
* Simpler fix for #411.Gravatar Pierre Courtieu2019-02-12
* Fixes #411.Gravatar Pierre Courtieu2019-02-12
* Hopefully fix ProofGeneral/PG#413Gravatar Erik Martin-Dorel2019-01-14
* Fix ProofGeneral/PG#413 furtherGravatar Erik Martin-Dorel2019-01-13
* Merge pull request #414 from ProofGeneral/improve-use-package-supportGravatar Erik Martin-Dorel2019-01-13
|\
| * Update the commentary section in proof-general.elGravatar Erik Martin-Dorel2019-01-13
| * Fix the license notice in proof-general.elGravatar Erik Martin-Dorel2019-01-13
| * Rename pg-init.el to proof-general.elGravatar Erik Martin-Dorel2019-01-13
|/
* * 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
* Merge branch 'master' of github.com:ProofGeneral/PGGravatar Pierre Courtieu2018-12-20
|\
* | Fixes #395: hyps highlight is transient and with gray background.Gravatar Pierre Courtieu2018-12-20
| * Merge pull request #410 from soraros/patch-1Gravatar Clément Pit-Claudel2018-12-19
| |\
| | * Quote ?( ?)Gravatar soraros2018-12-19
| |/
| * 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
* 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
|/
* Merge pull request #402 from Chobbes/modelineGravatar Clément Pit-Claudel2018-11-15
|\
| * Remove code that hides mode-line.Gravatar Calvin Beck2018-11-12
|/
* Merge pull request #397 from Chobbes/masterGravatar Clément Pit-Claudel2018-11-01
|\
| * Ignore ephemeral buffers, and buffers not pointed at files.Gravatar Calvin Beck2018-11-01
|/
* Merge pull request #396 from dbp/coqproject-localGravatar Clément Pit-Claudel2018-10-30
|\
| * Use non-remote path to expand paths in _CoqProject when file is remote.Gravatar Daniel Patterson2018-10-30
|/
* Merge pull request #393 from anton-trunov/fix-coqproject-argGravatar Clément Pit-Claudel2018-09-27
|\
| * Fix parsing of -arg in _CoqProject fileGravatar Anton Trunov2018-09-27
|/
* Reloading proof-autoloads is safe; don't forbid itGravatar Clément Pit-Claudel2018-09-01
* Merge pull request #384 from ProofGeneral/update-install-guideGravatar Erik Martin-Dorel2018-08-30
|\
| * Add MELPA badgeGravatar Erik Martin-Dorel2018-08-30
| * Update the section of supported PAsGravatar Erik Martin-Dorel2018-08-30
| * README.md: Update installation instructionsGravatar Erik Martin-Dorel2018-08-30
|/
* Merge pull request #169 from ProofGeneral/help-span-extendedGravatar Erik Martin-Dorel2018-08-25
|\
* | ProofGeneral.texi: Add EasyCrypt in the introGravatar Erik Martin-Dorel2018-08-23
* | Update AUTHORS file for EasyCryptGravatar Erik Martin-Dorel2018-08-23
* | Merge pull request #380 from ProofGeneral/prepare-melpaGravatar Erik Martin-Dorel2018-08-23
|\ \
| * | Run make autoloadsGravatar Erik Martin-Dorel2018-08-23
| * | Update AUTHORS, fixing 2 typosGravatar Erik Martin-Dorel2018-08-23
| * | Add link to the latex-pretty-symbols package mentioned by @craffGravatar Erik Martin-Dorel2018-08-23
| * | Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
| * | pg-init.el: Add metadata asked by (package-lint-current-buffer)Gravatar Erik Martin-Dorel2018-08-23
| * | Update Info dir file (so there’s no unwanted line break)Gravatar Erik Martin-Dorel2018-08-23
| * | Bump version from 4.4.1~pre to 4.5-gitGravatar Erik Martin-Dorel2018-08-22