index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
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-23
*
Bump version from 4.4.1~pre to 4.5-git
Erik Martin-Dorel
2018-08-22
*
Set the minimal supported version of emacs to 24.3 instead of 24.4
Erik Martin-Dorel
2018-08-22
*
Merge pull request #200 from craff/master
Erik Martin-Dorel
2018-08-22
|
\
*
\
Merge pull request #379 from tchajed/variant-keyword
Clément Pit-Claudel
2018-08-21
|
\
\
*
\
\
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
|
|
/
/
|
*
|
Merge pull request #378 from user454322/patch-1
Clément Pit-Claudel
2018-08-15
|
|
\
\
|
|
*
|
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
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
*
|
small fix on hyp overlays.
Pierre Courtieu
2018-06-13
*
|
Fix multiple hyp overlays.
Pierre Courtieu
2018-06-13
*
|
Fix the fix #355.
Pierre Courtieu
2018-06-13
*
|
Small bug unhighlighting.
Pierre Courtieu
2018-06-11
*
|
fix #355 + probable bug.
Pierre Courtieu
2018-06-11
*
|
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
|
|
\
\
|
|
*
|
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
|
|
\
\
|
|
*
|
small fix of face `coq-symbol-face'
stardiviner
2018-04-22
|
|
/
/
|
*
|
Merge pull request #207 from SkySkimmer/master
Erik Martin-Dorel
2018-04-08
|
|
\
\
|
*
|
|
Merge pull request #347 from liyishuai/master
Erik Martin-Dorel
2018-03-17
|
/
|
|
|
|
*
|
|
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
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.
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
*
|
|
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, fix for #223
Paul Steckler
2018-01-26
|
/
/
/
*
|
|
Disable ASLR during Travis builds
Clément Pit--Claudel
2018-01-17
[next]