| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-10-30 | Use non-remote path to expand paths in _CoqProject when file is remote. | Daniel Patterson | |
| When editing a remote file, the `coqtop` process will itself be remote, which means that the paths that are passed to it should be _local_, not remote. Otherwise, paths like '/ssh:hostname:/path/to/dir' get passed to `coqtop`, which has no idea what's going on. This relates to #203. | |||
| 2018-09-27 | Merge pull request #393 from anton-trunov/fix-coqproject-arg | Clément Pit-Claudel | |
| Fix parsing of -arg in _CoqProject file | |||
| 2018-09-27 | Fix parsing of -arg in _CoqProject file | Anton Trunov | |
| The result of parsing was in reverse, see https://github.com/ProofGeneral/PG/issues/392\#issuecomment-425227314 | |||
| 2018-09-01 | Reloading proof-autoloads is safe; don't forbid it | Clément Pit-Claudel | |
| Fixes GH-386. Reported-by: @mrkkrp | |||
| 2018-08-30 | Merge pull request #384 from ProofGeneral/update-install-guide | Erik Martin-Dorel | |
| Update installation instructions for MELPA in README.md | |||
| 2018-08-30 | Add MELPA badge | Erik Martin-Dorel | |
| 2018-08-30 | Update the section of supported PAs | Erik Martin-Dorel | |
| 2018-08-30 | README.md: Update installation instructions | Erik Martin-Dorel | |
| 2018-08-25 | Merge pull request #169 from ProofGeneral/help-span-extended | Erik Martin-Dorel | |
| Fix #158 by extending helpspan | |||
| 2018-08-23 | ProofGeneral.texi: Add EasyCrypt in the intro | Erik Martin-Dorel | |
| 2018-08-23 | Update AUTHORS file for EasyCrypt | Erik Martin-Dorel | |
| 2018-08-23 | Merge pull request #380 from ProofGeneral/prepare-melpa | Erik Martin-Dorel | |
| Prepare PG for MELPA | |||
| 2018-08-23 | Run make autoloads | Erik Martin-Dorel | |
| 2018-08-23 | Update AUTHORS, fixing 2 typos | Erik Martin-Dorel | |
| 2018-08-23 | Add link to the latex-pretty-symbols package mentioned by @craff | Erik Martin-Dorel | |
| Fix the typo reported by @siddharthist as well | |||
| 2018-08-23 | Fix most doc issues raised by (checkdoc) | Erik Martin-Dorel | |
| 2018-08-23 | pg-init.el: Add metadata asked by (package-lint-current-buffer) | Erik Martin-Dorel | |
| 2018-08-23 | Update Info dir file (so there’s no unwanted line break) | Erik Martin-Dorel | |
| 2018-08-22 | Bump version from 4.4.1~pre to 4.5-git | Erik Martin-Dorel | |
| This commit ensures the version number is (version-to-list)-compliant. | |||
| 2018-08-22 | Set the minimal supported version of emacs to 24.3 instead of 24.4 | Erik Martin-Dorel | |
| This agrees with the minimal version of GNU Emacs currently tested by Travis CI, as well as with the version packaged in Ubuntu 14.04 LTS Reference: https://github.com/ProofGeneral/PG/issues/368#issuecomment-397561986 | |||
| 2018-08-22 | Merge pull request #200 from craff/master | Erik Martin-Dorel | |
| Update phox support | |||
| 2018-08-21 | Merge pull request #379 from tchajed/variant-keyword | Clément Pit-Claudel | |
| Support the Variant vernacular | |||
| 2018-08-18 | Merge branch 'master' of github.com:ProofGeneral/PG | Pierre Courtieu | |
| 2018-08-18 | Fix #7980, keep option order unchanged. | Pierre Courtieu | |
| 2018-08-17 | Support the Variant vernacular | Tej Chajed | |
| Syntactically looks much like an Inductive, though it is non-recursive so "where" (mutual recursion) is not supported. | |||
| 2018-08-15 | Merge pull request #378 from user454322/patch-1 | Clément Pit-Claudel | |
| Fix typo in INSTALL file | |||
| 2018-08-15 | Update INSTALL | Javier | |
| 2018-08-07 | Merge pull request #375 from jmgrosen/master | Clément Pit-Claudel | |
| Add coq-Print-Ltac to print an Ltac term | |||
| 2018-08-07 | Add coq-Print-Ltac to print an Ltac term | John Grosen | |
| 2018-06-15 | Fixing last commit. | Pierre Courtieu | |
| 2018-06-15 | Fix #368 (emacs < 25 split-string has no trim arg). | Pierre Courtieu | |
| Copied some code from company-coq. | |||
| 2018-06-13 | small fix on hyp overlays. | Pierre Courtieu | |
| 2018-06-13 | Fix multiple hyp overlays. | Pierre Courtieu | |
| queries would trigger re-generarion of overlays. Now overlays are generated if there are no overlays already. | |||
| 2018-06-13 | Fix the fix #355. | Pierre Courtieu | |
| The fix was bad: no ore hyps were foldable/highlightable. | |||
| 2018-06-11 | Small bug unhighlighting. | Pierre Courtieu | |
| Selecting the unhighlightied hyps showed a different region color. Setting the face to nil is better. | |||
| 2018-06-11 | fix #355 + probable bug. | Pierre Courtieu | |
| By renaming the arg load-path into loadpath I notice that a coq-load-path was used instead of it. | |||
| 2018-06-11 | key maps + small glitch hyp highlight/folding code. | Pierre Courtieu | |
| 2018-06-08 | Changed the look of folding/unfolding hyps. | Pierre Courtieu | |
| 2018-06-06 | Small fix in a regexp. | Pierre Courtieu | |
| 2018-06-04 | Shorter CHANGES + smal fixes in hide/highlight hyps code. | Pierre Courtieu | |
| 2018-06-01 | Click hypothesis to (un)hide them. | Pierre Courtieu | |
| 2018-06-01 | Fixed a typo in previous commits. | Pierre Courtieu | |
| 2018-05-31 | Updated CHANGES about hiding and highlighting of hyps. | Pierre Courtieu | |
| 2018-05-31 | Infrastructure for hypothesis hiding. | Pierre Courtieu | |
| 2018-05-31 | Fixing infrastructure for hypothesis highlighting. | Pierre Courtieu | |
| 2018-05-31 | Merge branch 'master' of github.com:ProofGeneral/PG | Pierre Courtieu | |
| 2018-05-31 | Infrastructure for transient hyps highlighting. | Pierre Courtieu | |
| 2018-05-29 | Merge pull request #360 from ProofGeneral/update-readme | Erik Martin-Dorel | |
| Update README.md (about PG branches and license) | |||
| 2018-05-29 | Add note about PG branches and license | Erik Martin-Dorel | |
| 2018-04-22 | Merge pull request #356 from stardiviner/stardiviner-patch-1 | Erik Martin-Dorel | |
| Fix coq-symbol-face's :inherit attribute | |||
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |