aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq
Commit message (Expand)AuthorAge
* Merge pull request #379 from tchajed/variant-keywordGravatar Clément Pit-Claudel2018-08-21
|\
* \ Merge branch 'master' of github.com:ProofGeneral/PGGravatar Pierre Courtieu2018-08-18
|\ \
* | | Fix #7980, keep option order unchanged.Gravatar Pierre Courtieu2018-08-18
| | * Support the Variant vernacularGravatar Tej Chajed2018-08-17
| |/
| * Add coq-Print-Ltac to print an Ltac termGravatar John Grosen2018-08-07
|/
* Fixing last commit.Gravatar Pierre Courtieu2018-06-15
* Fix #368 (emacs < 25 split-string has no trim arg).Gravatar Pierre Courtieu2018-06-15
* small fix on hyp overlays.Gravatar Pierre Courtieu2018-06-13
* Fix multiple hyp overlays.Gravatar Pierre Courtieu2018-06-13
* Fix the fix #355.Gravatar Pierre Courtieu2018-06-13
* Small bug unhighlighting.Gravatar Pierre Courtieu2018-06-11
* fix #355 + probable bug.Gravatar Pierre Courtieu2018-06-11
* key maps + small glitch hyp highlight/folding code.Gravatar Pierre Courtieu2018-06-11
* Changed the look of folding/unfolding hyps.Gravatar Pierre Courtieu2018-06-08
* Small fix in a regexp.Gravatar Pierre Courtieu2018-06-06
* Shorter CHANGES + smal fixes in hide/highlight hyps code.Gravatar Pierre Courtieu2018-06-04
* Click hypothesis to (un)hide them.Gravatar Pierre Courtieu2018-06-01
* Fixed a typo in previous commits.Gravatar Pierre Courtieu2018-06-01
* Infrastructure for hypothesis hiding.Gravatar Pierre Courtieu2018-05-31
* Fixing infrastructure for hypothesis highlighting.Gravatar Pierre Courtieu2018-05-31
* Merge branch 'master' of github.com:ProofGeneral/PGGravatar Pierre Courtieu2018-05-31
|\
* | Infrastructure for transient hyps highlighting.Gravatar Pierre Courtieu2018-05-31
| * small fix of face `coq-symbol-face'Gravatar stardiviner2018-04-22
| * 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
* | typo in abbrevs.Gravatar Pierre Courtieu2018-02-07
* | look for vernac controls before focus bracket, fix for #223Gravatar Paul Steckler2018-01-26
* | Experimental fix for #220.Gravatar Pierre Courtieu2018-01-15
| * Make coq-prog-args safe when list of strings.Gravatar Gaëtan Gilbert2017-12-22
* | Fix #214.Gravatar Pierre Courtieu2017-12-11
* | Prettier cheat face (background + box).Gravatar Pierre Courtieu2017-11-06
* | Fix #135.Gravatar Pierre Courtieu2017-11-06
* | Limited extensibility of smie token detection.Gravatar Pierre Courtieu2017-10-26
|/
* changed -emacs-U flag to -emacsGravatar Paul Steckler2017-07-19
* Fixing a bug with Set/Unset commands due to recent commits.Gravatar Pierre Courtieu2017-06-08
* Adding a Set Silent + Show when backtracking into a proof.Gravatar Pierre Courtieu2017-06-06
* Merge pull request #185 from psteckler/remove-contribsGravatar psteckler2017-05-25
|\
| * Remove mmm and ML4PG contribs and remove references to them in code and docsGravatar Paul Steckler2017-05-24
* | Fixing #183.Gravatar Pierre Courtieu2017-05-23
|/
* Fixing Set/Unset Printing broken by auto "Show".Gravatar Pierre Courtieu2017-05-16
* temporary fix of automatic intros.Gravatar Pierre Courtieu2017-05-12
* 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
|\
* | Typo from commit 758e679e.Gravatar Pierre Courtieu2017-04-25
* | Preparing new warning tags (no more special chars).Gravatar Pierre Courtieu2017-04-24
* | Fix #176.Gravatar Pierre Courtieu2017-04-19
* | Fixing #173.Gravatar Pierre Courtieu2017-03-31
* | Added support for future new options (trunk).Gravatar Pierre Courtieu2017-03-22
| * Add a FIXME in coq.elGravatar Clément Pit--Claudel2017-03-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-13 10:50:26 +0000