proof-general - Emacs interface for proof assistants

Branch	Commit message	Author	Age
master	Derive proof-mode from prog-mode	Benjamin Barenblat	6 years


Age	Commit message	Author
2019-04-18	Derive proof-mode from prog-modeHEAD master	Benjamin Barenblat
2019-02-12	Simpler fix for #411.	Pierre Courtieu
2019-02-12	Fixes #411.	Pierre Courtieu
2019-01-14	Hopefully fix ProofGeneral/PG#413	Erik Martin-Dorel
2019-01-13	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-12	* pg-init.el: Add subdirs during compilation (bug #413)	Stefan Monnier
2018-12-26	Make coq-mode work without generic/proof-*	Stefan Monnier
2018-12-25	Reduce the impact of proof-site, in case PG is not used	Stefan Monnier
2018-12-22	* coq-mode.el: New file to make coq-mode independent from PG	Stefan Monnier
2018-12-20	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-19	Merge pull request #410 from soraros/patch-1	Clément Pit-Claudel
[...]

Clone
https://git.benjamin.barenblat.name/proof-general.git
https://github.com/bbarenblat/proof-general.git