proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Fix bug in replace-in-string for GNU Emacs	David Aspinall	2004-04-17
\|
*	Clarify that it is right to query saves in proof-retract-until-point's call	David Aspinall	2004-04-17
\| \| \| \|	of proof-activate-scripting.
*	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.
*	Add proof-cannot-reopen-processed-files to fix behaviour of multiple files ↵	David Aspinall	2004-04-17
\| \| \| \|	for Isabelle.
*	Capitalization.	David Aspinall	2004-04-17
\|
*	Lighter background colour for proof-error-face	David Aspinall	2004-04-17
\|
*	Add boundp check to proof-map-multiple-frame-specifiers, for some back ↵	David Aspinall	2004-04-16
\| \| \| \|	compatibility.
*	Spurious "'s	David Aspinall	2004-04-16
\|
*	Set version tag for new release.	David Aspinall	2004-04-16
\|
*	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
\|
*	Set version tag for new release.	David Aspinall	2004-04-15
\|
*	Comments.	David Aspinall	2004-04-15
\|
*	Set frame title format to [Prover] Proof General: buffer.	David Aspinall	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
\|
*	Add 'oldhaspref to update action (settings appears again on Isar menu).	David Aspinall	2004-04-15
\|
*	Support 'oldhaspref as alias for 'haspref in PG 3.5.	David Aspinall	2004-04-14
\|
*	Set version tag for new release.	David Aspinall	2004-04-14
\|
*	Add Index menu.	David Aspinall	2004-04-14
\|
*	Add Index Menu and Speedbar menu entries; remove Function Menu.	David Aspinall	2004-04-14
\|
*	Add proof-imenu-enable. Other doc tweaks.	David Aspinall	2004-04-14
\|
*	Add functions for Imenu and Speedbar	David Aspinall	2004-04-14
\|
*	Fix buglet in pgip eager annotation stripping.	David Aspinall	2004-04-14
\|
*	Add proof-script-imenu-generic-expression for configuring imenu.	David Aspinall	2004-04-14
\|
*	Space in named entities popup	David Aspinall	2004-04-14
\|
*	Indentation of proof-with-current-buffer-if-exists	David Aspinall	2004-04-13
\|
*	Abstract out proof-maybe-askprefs	David Aspinall	2004-04-13
\|
*	Abstract out proof-end-of-locked-visible-p	David Aspinall	2004-04-13
\|
*	Add hint to C-c C-l; cleanup hints, add menu for C-c C-l	David Aspinall	2004-04-13
\|
*	Tweak disabling of X-Symbol packages to allow user to	David Aspinall	2004-04-13
\| \| \| \|	delete x-symbol subdir.
*	Disable any other x-symbol packages found by XEmacs (uses defadvice)	David Aspinall	2004-04-13
\|
*	Set version tag for new release.	David Aspinall	2004-04-06
\|
*	Add pgshell to proof-assistant-table, remove pgkit for now.	David Aspinall	2004-04-06
\|
*	Adjust proof-script-comment-end and comment-end to hold empty string for ↵	David Aspinall	2004-04-06
\| \| \| \|	end-of-line terminated comments.
*	Adjust proof-script-comment-end to fix comment-end to be empty for ↵	David Aspinall	2004-04-06
\| \| \| \|	end-of-line comments.
*	Another day, another prover:	cxl	2004-04-06
\| \| \| \|	added support for the Casl Consistency Checker (file name extension: .ccc).
*	Set version tag for new release.	David Aspinall	2004-04-05
\|
*	Fixed the short doc on holes	Pierre Courtieu	2004-04-05
\|
*	Set version tag for new release.	David Aspinall	2004-04-02
\|
*	Turn on experimental features for 3.5. Adjust display settings.	David Aspinall	2004-04-02
\|
*	Overhaul and fixes for display management.	David Aspinall	2004-04-02
\|
*	Comments	David Aspinall	2004-04-02
\|
*	Use proof-shell-wait; comments.	David Aspinall	2004-04-02
\|