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
*
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
*
|
Get rid of old-style backquotes
Clément Pit--Claudel
2018-01-16
*
|
Experimental fix for #220.
Pierre Courtieu
2018-01-15
|
*
Make coq-prog-args safe when list of strings.
Gaëtan Gilbert
2017-12-22
*
|
Fix #214.
Pierre Courtieu
2017-12-11
*
|
Prettier cheat face (background + box).
Pierre Courtieu
2017-11-06
*
|
Fix #135.
Pierre Courtieu
2017-11-06
*
|
Updating CHANGES with lexer extensibility.
Pierre Courtieu
2017-10-26
*
|
Limited extensibility of smie token detection.
Pierre Courtieu
2017-10-26
|
/
*
Fix pg-{show,hide}-all-proofs and Move them into pg-user.el.
Erik Martin-Dorel
2017-08-15
*
changed -emacs-U flag to -emacs
Paul Steckler
2017-07-19
*
Merge pull request #191 from AndreasLoow/proof-layout-windows-doc-formatting
Pierre Courtieu
2017-07-06
|
\
|
*
Formatting fix for proof-layout-windows documentation
Andreas Lööw
2017-06-30
|
/
*
Merge pull request #189 from marsam/master
Clément Pit-Claudel
2017-06-19
|
\
|
*
Fix easycrypt automode regexp
Mario Rodas
2017-06-19
|
/
*
Fixing a bug with Set/Unset commands due to recent commits.
Pierre Courtieu
2017-06-08
*
Adding a Set Silent + Show when backtracking into a proof.
Pierre Courtieu
2017-06-06
[next]