proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2021-02-25	test: Add Emacs 27.1 & Remove Emacs 24.3, 24.4 CI tests	Erik Martin-Dorel
	* Document (in README.md) the proposed policy: supporting Emacsen from the versions packaged in Debian Stable / Ubuntu LTS until their EOS.
2021-02-13	Update README.md	Julin S
	Fix a tiny typo
2020-12-06	docs: Update README.md accordingly & Mention the URL of the debbug	Erik Martin-Dorel

2020-09-11	Update PhoX link and add https (#510)	dymil

2020-04-21	docs(README.md): Update CI badge	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-22	Bump version from 4.4.1~pre to 4.5-git	Erik Martin-Dorel
	This commit ensures the version number is (version-to-list)-compliant.
2018-05-29	Add note about PG branches and license	Erik Martin-Dorel

2016-10-14	Refer to Apple's operating system as macOS	Tej Chajed
	Starting with the latest version (10.12 "Sierra"), the operating system is called macOS rather than Mac OS X.
2016-09-19	Bump version number for next release cycle.	Erik Martin-Dorel

2016-09-18	Update the documentation and prepare the release 4.4.	Erik Martin-Dorel

2016-07-26	Rename FAQ -> FAQ.md	Erik Martin-Dorel

2016-07-03	Add Travis CI badge.	Erik Martin-Dorel

2016-07-03	Update README.md.	Erik Martin-Dorel
	- Specify the language for code excerpts - Refactor the "More info" section.
2016-02-20	Simplify code to add to .emacs	Clément Pit--Claudel

2016-02-13	More version number fixes	Clément Pit--Claudel

2016-02-12	A few clarifications in README	Clément Pit--Claudel

2016-02-10	More README updates	Clément Pit--Claudel

2016-02-10	Update README	Clément Pit--Claudel