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
*
Derive proof-mode from prog-mode
HEAD
master
Benjamin Barenblat
2019-04-18
*
Simpler fix for #411.
Pierre Courtieu
2019-02-12
*
Fixes #411.
Pierre Courtieu
2019-02-12
*
Hopefully fix ProofGeneral/PG#413
Erik Martin-Dorel
2019-01-14
*
Fix ProofGeneral/PG#413 further
Erik Martin-Dorel
2019-01-13
*
Merge pull request #414 from ProofGeneral/improve-use-package-support
Erik Martin-Dorel
2019-01-13
|
\
|
*
Update the commentary section in proof-general.el
Erik Martin-Dorel
2019-01-13
|
*
Fix the license notice in proof-general.el
Erik Martin-Dorel
2019-01-13
|
*
Rename pg-init.el to proof-general.el
Erik Martin-Dorel
2019-01-13
|
/
*
* pg-init.el: Add subdirs during compilation (bug #413)
Stefan Monnier
2019-01-12
*
Make coq-mode work without generic/proof-*
Stefan Monnier
2018-12-26
*
Reduce the impact of proof-site, in case PG is not used
Stefan Monnier
2018-12-25
*
* coq-mode.el: New file to make coq-mode independent from PG
Stefan Monnier
2018-12-22
*
Merge branch 'master' of github.com:ProofGeneral/PG
Pierre Courtieu
2018-12-20
|
\
*
|
Fixes #395: hyps highlight is transient and with gray background.
Pierre Courtieu
2018-12-20
|
*
Merge pull request #410 from soraros/patch-1
Clément Pit-Claudel
2018-12-19
|
|
\
|
|
*
Quote ?( ?)
soraros
2018-12-19
|
|
/
|
*
Cosmetic cleanup of coq-smie, coq-syntax, and coq-abbrev.
Stefan Monnier
2018-12-15
|
*
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
[next]