proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Set version tag for new release.	David Aspinall	2002-08-29
*	Set version tag for new release.	David Aspinall	2002-08-29
*	Add additional path to proof-locate-executable.	David Aspinall	2002-08-29
*	Set version tag for new release.	David Aspinall	2002-08-29
*	Set version tag for new release.	David Aspinall	2002-08-29
*	Set version tag for new release.	David Aspinall	2002-08-29
*	Make C-c C-w appear on binding list	David Aspinall	2002-08-29
*	Set version tag for new release.	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
*	Alternative version of proof-ass macro to support byte-compiled files.	David Aspinall	2002-08-28
*	checkdoc induced docstring tweaks.	David Aspinall	2002-08-28
*	Change to proof-shell-theorem-dependency-regexp; also add code to make nested...	David Aspinall	2002-08-28
*	Change proof-shell-theorem-dependency-regexp to use two pieces: names and dep...	David Aspinall	2002-08-28
*	Compatibility fixes from Stefan Monnier.	David Aspinall	2002-08-28
*	Patch from Stefan Monnier <monnier+gnu/emacs@rum.cs.yale.edu> for Info config.	David Aspinall	2002-08-28
*	Add proof-shell-theorem-dependency-list-split	David Aspinall	2002-08-28
*	Docstring/CR from stefans patch	David Aspinall	2002-08-28
*	Make font-lock-keywords buffer local for sake of Emacs 21.2.	David Aspinall	2002-08-28
*	Fix bug in pg-remove-specials breaking x-sym display in Isabelle	David Aspinall	2002-08-28
*	Make font-lock-keywords buffer local for sake of Emacs 21.2.	David Aspinall	2002-08-28
*	Disable pop-up-frames for splash.	David Aspinall	2002-08-28
*	Fix sloppy uses of message/concat	David Aspinall	2002-08-28
*	proof-assistant-format: always pass through proof-assistant-setting-format;	Makarius Wenzel	2002-08-27
*	Set version tag for new release.	David Aspinall	2002-08-27
*	Docstring	David Aspinall	2002-08-27
*	Move C-c C-w to universal keys	David Aspinall	2002-08-27
*	Add 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 name	David Aspinall	2002-08-27
*	Disable undo history for efficiency; improve kill buffer hook.	David Aspinall	2002-08-27
*	Menu entry to clear response buffers.	David Aspinall	2002-08-27
*	Disable undo history for efficiency; add clear response buffers function; cle...	David Aspinall	2002-08-27
*	Disable undo history for efficiency.	David Aspinall	2002-08-27
*	Set version tag for new release.	David Aspinall	2002-08-26
*	Oops: has to be error to prevent killing, of course...	David Aspinall	2002-08-26
*	Try to prevent associated buffers being killed off by user.	David Aspinall	2002-08-26
*	Tweaks to faces. Set visible default for tactics-name-face.	David Aspinall	2002-08-16
*	Set version tag for new release.	David Aspinall	2002-08-16
*	Change order of menu	David Aspinall	2002-08-16
*	Formatting	David Aspinall	2002-08-16
*	Robustness against pg-subterm-start-char not being set.	David Aspinall	2002-08-16
*	Docstring.	David Aspinall	2002-08-16
*	Add context menu extensions, query dependencies cmd	David Aspinall	2002-08-16
*	pg-goals -> pg-assoc	David Aspinall	2002-08-16
*	Small fixes	David Aspinall	2002-08-15
*	Refactoring	David Aspinall	2002-08-15
*	Refactoring.	David Aspinall	2002-08-15