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
*
Reloading proof-autoloads is safe; don't forbid it
Clément Pit-Claudel
2018-09-01
*
Merge pull request #384 from ProofGeneral/update-install-guide
Erik Martin-Dorel
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-30
|
/
*
Merge pull request #169 from ProofGeneral/help-span-extended
Erik Martin-Dorel
2018-08-25
|
\
*
|
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
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
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-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
|
/
|
|
|
|
[next]