proof-general - Emacs interface for proof assistants

	Commit message (Expand)	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 menu...	David Aspinall	2003-03-17
*	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
*	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
*	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 -> proof-three-w...	David Aspinall	2002-08-07
*	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 P...	David Aspinall	2001-08-30
*	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