proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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.
*	Update README	Clément Pit--Claudel	2016-02-10
\|
*	Drop support for Emacs 23.1 and earlier	David Aspinall	2012-04-06
\|
*	Update dates and versions	David Aspinall	2011-10-03
\|
*	Fix prover versions	David Aspinall	2011-01-30
\|
*	Deprecate Emacs 22.X	David Aspinall	2011-01-30
\|
*	Updated compatibility	David Aspinall	2010-12-10
\|
*	Updated	David Aspinall	2010-10-10
\|
*	Reorder	David Aspinall	2010-08-18
\|
*	Fix wiki links	David Aspinall	2010-08-18
\|
*	Bump Emacs version	David Aspinall	2010-08-17
\|
*	Updated.	David Aspinall	2010-06-27
\|
*	* empty log message *	David Aspinall	2010-03-10
\|
*	* empty log message *	David Aspinall	2010-03-10
\|
*	* empty log message *	David Aspinall	2010-03-10
\|
*	Pointers for Mac support	David Aspinall	2009-09-01
\|
*	Updates	David Aspinall	2009-09-01
\|
*	Bump Emacs version	David Aspinall	2009-05-26
\|
*	Updated	David Aspinall	2009-05-26
\|
*	Note about Emacs.app	David Aspinall	2008-07-24
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Updated.	David Aspinall	2008-07-19
\|
*	Mac OS: default to XSymb1.ttf;	Makarius Wenzel	2008-07-18
\|
*	Updated.	David Aspinall	2008-07-10
\|
*	Updated.	David Aspinall	2008-01-31
\|
*	Updated.	David Aspinall	2008-01-27
\|
*	Updated.	David Aspinall	2008-01-26
\|
*	Updated.	David Aspinall	2008-01-15
\|
*	Updated.	David Aspinall	2007-12-12
\|
*	Documentation.	David Aspinall	2007-12-12
\|
*	Updated.	David Aspinall	2007-12-10
\|
*	Compatibility notes	David Aspinall	2007-01-03