proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Numerous updates and improvements:	David Aspinall	2004-04-17
\| \| \| \| \| \| \| \| \|	- Walkthrough changed from LEGO to Isabelle/Isar - Documentation of new shortcuts in Isar - Documentation of Isabelle's Settings/Logics choice - Documentation of PG Shell - Date updates, version updates - Personnel updates
*	Add shortcuts for new X-Symbol sequences.	David Aspinall	2004-04-17
\|
*	Oops, remove junk.	David Aspinall	2004-04-17
\|
*	Escape the string from substitute-command-keys in proof-defshortcut, ↵	David Aspinall	2004-04-17
\| \| \| \|	proof-definvisible.
*	Comments.	David Aspinall	2004-04-17
\|
*	Add proof-cannot-reopen-processed-files to fix behaviour of multiple files ↵	David Aspinall	2004-04-17
\| \| \| \|	for Isabelle.
*	Updated.	David Aspinall	2004-04-17
\|
*	Clear the stuff to do before 3.5	David Aspinall	2004-04-17
\|
*	Add proof-cannot-reopen-processed-files to fix behaviour of multiple files ↵	David Aspinall	2004-04-17
\| \| \| \|	for Isabelle.
*	imenu todo	David Aspinall	2004-04-17
\|
*	Capitalization.	David Aspinall	2004-04-17
\|
*	Mention supported Emacs versions	David Aspinall	2004-04-17
\|
*	Lighter background colour for proof-error-face	David Aspinall	2004-04-17
\|
*	Note about font-lock problem in XE 21.4.x x<11	David Aspinall	2004-04-17
\|
*	Updated.	David Aspinall	2004-04-16
\|
*	Add boundp check to proof-map-multiple-frame-specifiers, for some back ↵	David Aspinall	2004-04-16
\| \| \| \|	compatibility.
*	New files.	David Aspinall	2004-04-16
\|
*	Updated.	David Aspinall	2004-04-16
\|
*	Fix my email addr.	David Aspinall	2004-04-16
\|
*	Use own name instead of hiding behind mythical PG team	David Aspinall	2004-04-16
\|
*	Spurious "'s	David Aspinall	2004-04-16
\|
*	Moved handling of mixed undo into the CCC, so there is now just one undo() cmd.	cxl	2004-04-16
\|
*	fix typo in isar-long-id-stuff	Gerwin Klein	2004-04-16
\|
*	fix typo in isar-long-id-stuff	Gerwin Klein	2004-04-16
\|
*	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
\|