proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Change default Unicode Tokens font back to DejaVU Sans, more reliable ↵	David Aspinall	2012-04-30
\| \| \| \|	without installing STIX.
*	Mention critical Emacs bug which destroys characters in certain	David Aspinall	2012-01-10
\| \| \| \|	compiles of Emacs 23.2. See Trac#409.
*	Add suggestion for Q2 from Esben Andreasen to check comint-process-echoes.	David Aspinall	2011-08-31
\|
*	Clarify Q1	David Aspinall	2010-08-25
\|
*	Minor tweaks to versions, etc.	David Aspinall	2010-08-17
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Add item for #204	David Aspinall	2008-02-17
\|
*	Add item for #204	David Aspinall	2008-02-17
\|
*	Updated.	David Aspinall	2008-01-31
\|
*	Updated.	David Aspinall	2008-01-31
\|
*	Updated.	David Aspinall	2008-01-15
\|
*	Updated.	David Aspinall	2008-01-15
\|
*	Updated.	David Aspinall	2008-01-15
\|
*	Mention coq-utf-safe	David Aspinall	2007-03-17
\|
*	Choose Emacs instead of XEmacs	David Aspinall	2007-03-04
\|
*	Mention prefer-coding-system as suggested by Florian Haftmann	David Aspinall	2007-02-22
\|
*	Add FAQ on funny symbols/x-symbol problems	David Aspinall	2007-01-03
\|
*	Tweak to FAQ#1	David Aspinall	2006-08-23
\|
*	Note about proof-shell-unicode setting.	David Aspinall	2006-05-11
\|
*	Note about proof-shell-unicode setting.	David Aspinall	2006-05-11
\|
*	Update xml.el issue	David Aspinall	2005-09-30
\|
*	Update FAQ #1	David Aspinall	2005-06-02
\|
*	Add FAQ about favourites	David Aspinall	2005-04-27
\|
*	Update FAQ for X-Symbol large fonts (from Clemens Ballarin)	David Aspinall	2005-02-15
\|
*	FAQ #1 typo	David Aspinall	2005-02-01
\|
*	Updated.	David Aspinall	2004-08-25
\|
*	Document warning message for xml.el	David Aspinall	2004-08-25
\|
*	Updated.	David Aspinall	2004-06-11
\|
*	Expand that UTF 8 affects Suse 9.1	David Aspinall	2004-06-11
\|
*	Suggest to change LC_CTYPE rather than LANG. Thanks to Achim Brucker.	David Aspinall	2004-06-04
\|
*	Fix typo	David Aspinall	2004-06-02
\|
*	FAQ about load file executable error	David Aspinall	2004-05-19
\|
*	Updated.	David Aspinall	2004-05-07
\|
*	Explain buffer invisibility	David Aspinall	2004-05-07
\|
*	Updated.	David Aspinall	2004-04-27
\|
*	Add FAW on cannot switch buffers error	David Aspinall	2004-04-24
\|
*	Updated.	David Aspinall	2004-04-17
\|
*	Add FAQ about .elcs failing in GNU Emacs.	David Aspinall	2004-04-16
\|
*	Oops, another stray old URL...	David Aspinall	2004-04-16
\|
*	Mention coding system for x-symbol warning message.	David Aspinall	2004-04-14
\|
*	Mention non-Mule XEmacs version probs	David Aspinall	2004-03-01
\|
*	Fix web addresses	David Aspinall	2004-02-08
\|
*	Updated	David Aspinall	2004-02-07
\|
*	Updated.	David Aspinall	2003-10-05
\|
*	Updated.	David Aspinall	2003-05-28
\|
*	Updated.	David Aspinall	2003-05-20
\|
*	Larrys suggestion for lookup-syntax-properties.	David Aspinall	2003-02-17
\|
*	Updated.	David Aspinall	2003-01-20
\|
*	Contact in case of probs.	David Aspinall	2002-08-28
\|
*	Added proof-shell-strip-crs-from-output	David Aspinall	2002-08-07
\|