Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Bump version from 4.4.1~pre to 4.5-git | Erik Martin-Dorel | 2018-08-22 |
| | | | | This commit ensures the version number is (version-to-list)-compliant. | ||
* | Set the minimal supported version of emacs to 24.3 instead of 24.4 | Erik Martin-Dorel | 2018-08-22 |
| | | | | | | | | 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 | ||
* | Merge pull request #200 from craff/master | Erik Martin-Dorel | 2018-08-22 |
|\ | | | | | Update phox support | ||
* \ | Merge pull request #379 from tchajed/variant-keyword | Clément Pit-Claudel | 2018-08-21 |
|\ \ | | | | | | | Support the Variant vernacular | ||
* \ \ | Merge branch 'master' of github.com:ProofGeneral/PG | Pierre Courtieu | 2018-08-18 |
|\ \ \ | |||
* | | | | Fix #7980, keep option order unchanged. | Pierre Courtieu | 2018-08-18 |
| | | | | |||
| | * | | Support the Variant vernacular | Tej Chajed | 2018-08-17 |
| |/ / | | | | | | | | | | | | | Syntactically looks much like an Inductive, though it is non-recursive so "where" (mutual recursion) is not supported. | ||
| * | | Merge pull request #378 from user454322/patch-1 | Clément Pit-Claudel | 2018-08-15 |
| |\ \ | | | | | | | | | Fix typo in INSTALL file | ||
| | * | | Update INSTALL | Javier | 2018-08-15 |
| |/ / | |||
| * | | Merge pull request #375 from jmgrosen/master | Clément Pit-Claudel | 2018-08-07 |
|/| | | | | | | | | Add coq-Print-Ltac to print an Ltac term | ||
| * | | Add coq-Print-Ltac to print an Ltac term | John Grosen | 2018-08-07 |
|/ / | |||
* | | Fixing last commit. | Pierre Courtieu | 2018-06-15 |
| | | |||
* | | Fix #368 (emacs < 25 split-string has no trim arg). | Pierre Courtieu | 2018-06-15 |
| | | | | | | | | Copied some code from company-coq. | ||
* | | small fix on hyp overlays. | Pierre Courtieu | 2018-06-13 |
| | | |||
* | | Fix multiple hyp overlays. | Pierre Courtieu | 2018-06-13 |
| | | | | | | | | | | queries would trigger re-generarion of overlays. Now overlays are generated if there are no overlays already. | ||
* | | Fix the fix #355. | Pierre Courtieu | 2018-06-13 |
| | | | | | | | | The fix was bad: no ore hyps were foldable/highlightable. | ||
* | | Small bug unhighlighting. | Pierre Courtieu | 2018-06-11 |
| | | | | | | | | | | Selecting the unhighlightied hyps showed a different region color. Setting the face to nil is better. | ||
* | | fix #355 + probable bug. | Pierre Courtieu | 2018-06-11 |
| | | | | | | | | | | By renaming the arg load-path into loadpath I notice that a coq-load-path was used instead of it. | ||
* | | key maps + small glitch hyp highlight/folding code. | Pierre Courtieu | 2018-06-11 |
| | | |||
* | | Changed the look of folding/unfolding hyps. | Pierre Courtieu | 2018-06-08 |
| | | |||
* | | Small fix in a regexp. | Pierre Courtieu | 2018-06-06 |
| | | |||
* | | Shorter CHANGES + smal fixes in hide/highlight hyps code. | Pierre Courtieu | 2018-06-04 |
| | | |||
* | | Click hypothesis to (un)hide them. | Pierre Courtieu | 2018-06-01 |
| | | |||
* | | Fixed a typo in previous commits. | Pierre Courtieu | 2018-06-01 |
| | | |||
* | | 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-31 |
| | | | |||
| * | | Merge pull request #360 from ProofGeneral/update-readme | Erik Martin-Dorel | 2018-05-29 |
| |\ \ | | | | | | | | | Update README.md (about PG branches and license) | ||
| | * | | Add note about PG branches and license | Erik Martin-Dorel | 2018-05-29 |
| |/ / | |||
| * | | Merge pull request #356 from stardiviner/stardiviner-patch-1 | Erik Martin-Dorel | 2018-04-22 |
| |\ \ | | | | | | | | | Fix coq-symbol-face's :inherit attribute | ||
| | * | | small fix of face `coq-symbol-face' | stardiviner | 2018-04-22 |
| |/ / | |||
| * | | Merge pull request #207 from SkySkimmer/master | Erik Martin-Dorel | 2018-04-08 |
| |\ \ | | | | | | | | | Make coq-prog-args safe when list of strings. | ||
| * | | | Merge pull request #347 from liyishuai/master | Erik Martin-Dorel | 2018-03-17 |
|/| | | | | | | | | | | | Setup CI for Emacs 25.3 | ||
| * | | | CI Emacs 25.3 | Yishuai Li | 2018-03-11 |
|/ / / | |||
* | | | Merge pull request #344 from ProofGeneral/font-lock-fix | Erik Martin-Dorel | 2018-03-07 |
|\ \ \ | | | | | | | | | Add a missing parameter in advice on font-lock-fontify-keywords-region | ||
| * | | | Add a missing parameter in advice on font-lock-fontify-keywords-region | Clément Pit--Claudel | 2018-03-07 |
|/ / / | |||
* | | | Fix typos in custom variable descriptions. (#236) | Tej Chajed | 2018-03-03 |
| | | | |||
* | | | Update the AUTHORS file. | Erik Martin-Dorel | 2018-03-03 |
| | | | |||
* | | | Merge pull request #194 from ProofGeneral/update-headers | Clément Pit-Claudel | 2018-02-25 |
|\ \ \ | | | | | | | | | Update copyright messages and improve the header of elisp files. | ||
| * | | | Update copyright messages and improve the header of elisp files. | Erik Martin-Dorel | 2018-02-21 |
|/ / / | |||
* | | | Bind C-c C-m (= C-c RET) to proof-goto-point [tty] (#228) | Erik Martin-Dorel | 2018-02-20 |
| | | | | | | | | | Close ProofGeneral/PG#31 | ||
* | | | typo in abbrevs. | Pierre Courtieu | 2018-02-07 |
| | | | |||
* | | | Merge pull request #224 from psteckler/fix-233 | Pierre Courtieu | 2018-01-30 |
|\ \ \ | | | | | | | | | Look for vernac controls before focus bracket, possible fix for #223 | ||
| * | | | look for vernac controls before focus bracket, fix for #223 | Paul Steckler | 2018-01-26 |
|/ / / | |||
* | | | Disable ASLR during Travis builds | Clément Pit--Claudel | 2018-01-17 |
| | | | |||
* | | | Get rid of old-style backquotes | Clément Pit--Claudel | 2018-01-16 |
| | | | | | | | | | | | | Closes #221. Thanks @jwiegley! | ||
* | | | Experimental fix for #220. | Pierre Courtieu | 2018-01-15 |
| | | | |||
| * | | Make coq-prog-args safe when list of strings. | Gaëtan Gilbert | 2017-12-22 |
| | | | | | | | | | | | | They could be passed through _CoqProject regardless. |