proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Exercise bug in pg-remove-specials breaking x-sym display in Isabelle	David Aspinall	2002-08-28
\|
*	Fix bug in pg-remove-specials breaking x-sym display in Isabelle	David Aspinall	2002-08-28
\|
*	Mention support@proofgeneral.org address.	David Aspinall	2002-08-28
\|
*	Update intros.	David Aspinall	2002-08-28
\|
*	Contact in case of probs.	David Aspinall	2002-08-28
\|
*	Make font-lock-keywords buffer local for sake of Emacs 21.2.	David Aspinall	2002-08-28
\|
*	Fix to calls on message	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
\|
*	proper setup for theorem dependencies;	Makarius Wenzel	2002-08-27
\|
*	proof-assistant-format: always pass through proof-assistant-setting-format;	Makarius Wenzel	2002-08-27
\|
*	Updated.	David Aspinall	2002-08-27
\|
*	Set version tag for new release.	David Aspinall	2002-08-27
\|
*	Updated magic	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
\|
*	Updated.	David Aspinall	2002-08-27
\|
*	Updated	David Aspinall	2002-08-27
\|
*	Tweak	David Aspinall	2002-08-27
\|
*	Add PG adapting.	David Aspinall	2002-08-27
\|
*	Menu name	David Aspinall	2002-08-27
\|
*	Updated.	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; ↵	David Aspinall	2002-08-27
\| \| \| \|	clear modified flag.
*	Disable undo history for efficiency.	David Aspinall	2002-08-27
\|
*	Updated	David Aspinall	2002-08-27
\|
*	Updated.	David Aspinall	2002-08-26
\|
*	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
\|
*	Add example of sub/sup/bold in comment.	David Aspinall	2002-08-26
\|
*	New files.	David Aspinall	2002-08-26
\|
*	Updated.	David Aspinall	2002-08-16
\|
*	Updated.	David Aspinall	2002-08-16
\|
*	Tweaks to faces. Set visible default for tactics-name-face.	David Aspinall	2002-08-16
\|
*	Updated.	David Aspinall	2002-08-16
\|
*	Set version tag for new release.	David Aspinall	2002-08-16
\|
*	Print Proof	David Aspinall	2002-08-16
\|
*	Mention span menu improvements.	David Aspinall	2002-08-16
\|
*	Change order of menu	David Aspinall	2002-08-16
\|
*	Updated.	David Aspinall	2002-08-16
\|
*	Use shared span menu	David Aspinall	2002-08-16
\|
*	Add span menu for thm_deps	David Aspinall	2002-08-16
\|