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
*
Prepend cl- to more c[ad]+r instances
Clément Pit-Claudel
2018-12-15
*
Use cl-caddr instead of caddr
Clément Pit-Claudel
2018-12-15
*
Fix remaining uses of CL; Make files more declarative
Stefan Monnier
2018-12-14
*
Fixes the fix of #407. Is this temporary.
Pierre Courtieu
2018-12-14
*
Merge branch 'master' of github.com:ProofGeneral/PG
Pierre Courtieu
2018-12-14
|
\
*
|
Fix #407: -topfile added if coq > v8.10alpha.
Pierre Courtieu
2018-12-14
|
*
Use `cl-lib` instead of `cl` everywhere
Stefan Monnier
2018-12-13
|
*
Cleanup patch; Moving defvar to toplevel
Stefan Monnier
2018-12-12
|
/
*
Merge pull request #402 from Chobbes/modeline
Clément Pit-Claudel
2018-11-15
|
\
|
*
Remove code that hides mode-line.
Calvin Beck
2018-11-12
|
/
*
Merge pull request #397 from Chobbes/master
Clément Pit-Claudel
2018-11-01
|
\
|
*
Ignore ephemeral buffers, and buffers not pointed at files.
Calvin Beck
2018-11-01
|
/
*
Merge pull request #396 from dbp/coqproject-local
Clément Pit-Claudel
2018-10-30
|
\
|
*
Use non-remote path to expand paths in _CoqProject when file is remote.
Daniel Patterson
2018-10-30
|
/
*
Merge pull request #393 from anton-trunov/fix-coqproject-arg
Clément Pit-Claudel
2018-09-27
|
\
|
*
Fix parsing of -arg in _CoqProject file
Anton Trunov
2018-09-27
|
/
*
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
[next]