proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	ccc-count-undos: declare str (doesnae fix bug though)	David Aspinall	2004-04-16
\|
*	little fix for x-symbols coq.	Pierre Courtieu	2004-04-16
\|
*	Add FAQ about .elcs failing in GNU Emacs.	David Aspinall	2004-04-16
\|
*	modified the noteq token (become '<>' ).	Pierre Courtieu	2004-04-16
\|
*	Fix URL	David Aspinall	2004-04-16
\|
*	Oops, another stray old URL...	David Aspinall	2004-04-16
\|
*	added an example fils for coq x-symbols.	Pierre Courtieu	2004-04-16
\|
*	Updated.	David Aspinall	2004-04-16
\|
*	* empty log message *	Christophe Raffalli	2004-04-16
\|
*	Set version tag for new release.	David Aspinall	2004-04-16
\|
*	Updated.	David Aspinall	2004-04-16
\|
*	New files.	David Aspinall	2004-04-16
\|
*	New files.	David Aspinall	2004-04-16
\|
*	New files.	David Aspinall	2004-04-16
\|
*	New file	David Aspinall	2004-04-16
\|
*	Updated.	David Aspinall	2004-04-16
\|
*	Updated.	David Aspinall	2004-04-16
\|
*	Document Imenu/Speedbar. Update contributors.	David Aspinall	2004-04-16
\|
*	Explain how to configure Imenu.	David Aspinall	2004-04-16
\|
*	Add automatic refresh of Logics menu	David Aspinall	2004-04-16
\|
*	Updated.	David Aspinall	2004-04-16
\|
*	Updated.	David Aspinall	2004-04-15
\|
*	Comments.	David Aspinall	2004-04-15
\|
*	Comment out pg-customize-menu-create	David Aspinall	2004-04-15
\|
*	Gerwins bug had snuck back in. Reenable customize menus for GNU Emacs	David Aspinall	2004-04-15
\|
*	Change error face to firebrick (again)	David Aspinall	2004-04-15
\|
*	Added some syntax stuff (highlight comments etc).	cxl	2004-04-15
\|
*	Set version tag for new release.	David Aspinall	2004-04-15
\|
*	Updated.	David Aspinall	2004-04-15
\|
*	Fix typo.	David Aspinall	2004-04-15
\|
*	Updated.	David Aspinall	2004-04-15
\|
*	Comments.	David Aspinall	2004-04-15
\|
*	Remove title setting	David Aspinall	2004-04-15
\|
*	Set imenu-syntax-alist. Seems to solve prefix/underscore issue in Speedbar	David Aspinall	2004-04-15
\|
*	commented the new tarski example for coq.	Pierre Courtieu	2004-04-15
\|
*	Set frame title format to [Prover] Proof General: buffer.	David Aspinall	2004-04-15
\|
*	added Knaster - Tarski theorem.	Pierre Courtieu	2004-04-15
\|
*	Comments.	David Aspinall	2004-04-15
\|
*	Add back menu for displaying associated buffers (suggestion of Norbert Schirmer)	David Aspinall	2004-04-15
\|
*	Add proof-script-syntax-table-entries, proof-shell-syntax-table-entries.	David Aspinall	2004-04-15
\|
*	added some tactical names for coq.	Pierre Courtieu	2004-04-15
\|
*	Remove comment	David Aspinall	2004-04-15
\|
*	Add doc for x-symbols	David Aspinall	2004-04-15
\|
*	Updated.	David Aspinall	2004-04-15
\|
*	Remove X-Symbol support temporarily	David Aspinall	2004-04-15
\|
*	Prevent setting WM title so Emacs can do its own thing	David Aspinall	2004-04-15
\|
*	little change in CHANGES and in coq syntax table.	Pierre Courtieu	2004-04-15
\|
*	Add 'oldhaspref to update action (settings appears again on Isar menu).	David Aspinall	2004-04-15
\|
*	added little doc for holes.	Pierre Courtieu	2004-04-15
\|
*	fixed some words in coq changes.	Pierre Courtieu	2004-04-15
\|