proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Fix to help menu from Timothy Bourke	David Aspinall	2005-08-10
\|
*	Move some keybindings from script mode to universal keys	David Aspinall	2005-08-10
\|
*	Extensions to support PGIP 2.X settings format.	David Aspinall	2004-08-25
\|
*	Generalise proof-def-invisible.	David Aspinall	2004-06-13
\|
*	Add compatibility hack for Emacs 21.2.1 customize-menu-create	David Aspinall	2004-04-26
\|
*	Add proof-shell-require-command-regexp, proof-done-advancing-require-function	David Aspinall	2004-04-24
\| \| \| \| \|	to support multiple files in Coq. Move some keybindings to proof-universal-keys (esp. C-c C-l).
*	Allow empty :setting, :eval in defpacustom.	David Aspinall	2004-04-22
\|
*	Fix bug in replace-in-string for GNU Emacs	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.
*	Capitalization.	David Aspinall	2004-04-17
\|
*	Gerwins bug had snuck back in. Reenable customize menus for GNU Emacs	David Aspinall	2004-04-15
\|
*	Add back menu for displaying associated buffers (suggestion of Norbert Schirmer)	David Aspinall	2004-04-15
\|
*	Add Index Menu and Speedbar menu entries; remove Function Menu.	David Aspinall	2004-04-14
\|
*	Abstract out proof-maybe-askprefs	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
\|
*	Overhaul and fixes for display management.	David Aspinall	2004-04-02
\|
*	Fix a few compiler warnings	David Aspinall	2004-03-02
\|
*	Add insert last output onto menu	David Aspinall	2003-06-08
\|
*	Include next buffer in hint for rotate buffers	David Aspinall	2003-05-24
\|
*	Switch order of buffers displayed by C-c C-l. Add hint.	David Aspinall	2003-05-24
\|
*	Add option menu item for dectivate scripting auto action	David Aspinall	2003-05-21
\|
*	Allow proof-strict-read-only to be changed dyamically, add to quick opts ↵	David Aspinall	2003-03-17
\| \| \| \|	menu in place of output highlight setting.
*	Add requires to reduce compilation warnings.	David Aspinall	2003-03-14
\|
*	Fix proofdefinvisible, proofdefshortcut to work in compiled version	David Aspinall	2003-02-24
\|
*	Docs; same safe-fail for MMM as X-Symbol.	David Aspinall	2003-02-19
\|
*	Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or	David Aspinall	2003-02-19
\| \| \| \| \| \| \| \|	off minor modes in buffers automatically. Now the PG setting controls the "default global for PG buffers" for each of these. The menu checkbox simply displays the current minor mode status. When this is changed, the PG global mode follows suit. We do not try to apply the change to all PG buffers (30 minutes of fontification!).
*	Add support for MMM mode	David Aspinall	2003-02-18
\|
*	Compatibility function for customize-menu-create	David Aspinall	2003-02-05
\|
*	Add followdown mode; compat note	David Aspinall	2002-12-29
\|
*	Autoload proof-definvisible	David Aspinall	2002-11-20
\|
*	Comment	David Aspinall	2002-11-20
\|
*	Fix typo.	David Aspinall	2002-11-20
\|
*	Add reset options, and save/reset settings items.	David Aspinall	2002-11-20
\|
*	Support redefinitions in proof-defpacustom-fn, by removing custom settings.	David Aspinall	2002-11-18
\|
*	Add proof-assistant-menu-update, allow redefine of setting in pacustom.	David Aspinall	2002-11-14
\|
*	Fix proof-quick-opts-save to match menu	David Aspinall	2002-09-11
\|
*	Add :visible support. Minor reorganisation.	David Aspinall	2002-09-11
\|
*	generic/proof-menu: move electric terminator, show specific; Help menu items ↵	David Aspinall	2002-09-04
\| \| \| \|	only if prover configured.
*	Make C-c C-w appear on binding list	David Aspinall	2002-08-29
\|
*	Simplify menu structure further by adding Advanced menu.	David Aspinall	2002-08-29
\|
*	Comments: possible fix to compiles.	David Aspinall	2002-08-28
\|
*	Fix for docstrings in proof-def-shortcut, proof-def-invisible.	David Aspinall	2002-08-28
\|
*	proof-assistant-format: always pass through proof-assistant-setting-format;	Makarius Wenzel	2002-08-27
\|
*	Move C-c C-w to universal keys	David Aspinall	2002-08-27
\|
*	Key for pg-response-clear-displays.	David Aspinall	2002-08-27
\|
*	Conventions	David Aspinall	2002-08-27
\|
*	Menu entry to clear response buffers.	David Aspinall	2002-08-27
\|
*	Small fixes	David Aspinall	2002-08-15
\|
*	Generalise proof elements to include comments, show/hiding of comments.	David Aspinall	2002-08-08
\|