proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Bump version from 4.4.1~pre to 4.5-git	Erik Martin-Dorel	2018-08-22
\| \| \| \|	This commit ensures the version number is (version-to-list)-compliant.
*	Add note about PG branches and license	Erik Martin-Dorel	2018-05-29
\|
*	Refer to Apple's operating system as macOS	Tej Chajed	2016-10-14
\| \| \| \| \|	Starting with the latest version (10.12 "Sierra"), the operating system is called macOS rather than Mac OS X.
*	Bump version number for next release cycle.	Erik Martin-Dorel	2016-09-19
\|
*	Update the documentation and prepare the release 4.4.	Erik Martin-Dorel	2016-09-18
\|
*	Rename FAQ -> FAQ.md	Erik Martin-Dorel	2016-07-26
\|
*	Add Travis CI badge.	Erik Martin-Dorel	2016-07-03
\|
*	Update README.md.	Erik Martin-Dorel	2016-07-03
\| \| \| \| \|	- Specify the language for code excerpts - Refactor the "More info" section.
*	Simplify code to add to .emacs	Clément Pit--Claudel	2016-02-20
\|
*	More version number fixes	Clément Pit--Claudel	2016-02-13
\|
*	A few clarifications in README	Clément Pit--Claudel	2016-02-12
\|
*	More README updates	Clément Pit--Claudel	2016-02-10
\|
*	Update README	Clément Pit--Claudel	2016-02-10