proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Allow favourite saving when user wants.	David Aspinall	2002-08-08
\|
*	Fix proof-quick-opts-save. Rename proof-dont-switch-windows -> ↵	David Aspinall	2002-08-07
\| \| \| \|	proof-three-window-mode.
*	Trace buffer opt always enabled. Failed fix attempt for proof-quick-opts-save.	David Aspinall	2002-08-07
\|
*	Reorganized menus; add options save function; fix capitalization of names	David Aspinall	2002-08-07
\|
*	Make favourites mechanism more robust; add delete command.	David Aspinall	2002-07-19
\|
*	Disable fly past comments for old parser again.	David Aspinall	2002-06-24
\|
*	GPL	David Aspinall	2002-06-21
\|
*	Match FSF C-button3 binding with XEmacs one	David Aspinall	2002-06-19
\|
*	Spacing	David Aspinall	2002-06-08
\|
*	Added activations for frame/window controls.	David Aspinall	2002-03-21
\|
*	Disable customize-menu-create for Emacs 21.	David Aspinall	2001-12-11
\|
*	Allow toolbar toggle for GNU Emacs 21.	David Aspinall	2001-12-11
\|
*	Add keybindings for new commands for moving/navigating spans.	David Aspinall	2001-09-05
\|
*	Skip settings which have no PA command in proof-assistant-settings-cmd	David Aspinall	2001-08-31
\|
*	Add :eval form for defpacustom to define PA-specific PG settings as well as ↵	David Aspinall	2001-08-30
\| \| \| \|	PA settings.
*	Prevent error msg in proof-display-some-buffers if response dead.	David Aspinall	2001-07-23
\|
*	Clean for compile: new autload	David Aspinall	2001-07-09
\|
*	Copyright date updated	David Aspinall	2001-05-08
\|