proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	proof-splash-display-image -> proof-get-image; generalise for xpm images.	David Aspinall	2002-08-08
\|
*	Added lclam proof site entry	David Aspinall	2002-08-08
\|
*	Fix docs	David Aspinall	2002-08-07
\|
*	Fix proof-quick-opts-save. Rename proof-dont-switch-windows -> ↵	David Aspinall	2002-08-07
\| \| \| \|	proof-three-window-mode.
*	Rename proof-dont-switch-windows -> proof-three-window-mode	David Aspinall	2002-08-07
\|
*	Default for proof-shell-strip-crs-from-output altered for Norbert Voelker to ↵	David Aspinall	2002-08-07
\| \| \| \|	cygwin32.
*	Set version tag for new release.	David Aspinall	2002-08-07
\|
*	Trace buffer opt always enabled. Failed fix attempt for proof-quick-opts-save.	David Aspinall	2002-08-07
\|
*	Add proof-shell-strip-crs-from-output	David Aspinall	2002-08-07
\|
*	Reorganized menus; add options save function; fix capitalization of names	David Aspinall	2002-08-07
\|
*	Add require, fix menu capitalization.	David Aspinall	2002-08-07
\|
*	Menu capitalization; support email addr.	David Aspinall	2002-08-07
\|
*	Comments	David Aspinall	2002-08-07
\|
*	Autoload fix	David Aspinall	2002-08-07
\|
*	Set version tag for new release.	David Aspinall	2002-07-19
\|
*	Replace	David Aspinall	2002-07-19
\|
*	Set version tag for new release.	David Aspinall	2002-07-19
\|
*	Variable name change proof-comment-{start,end}-regexp -> ↵	David Aspinall	2002-07-19
\| \| \| \|	proof-script-comment-{start,end}-regexp.
*	Reduce proof-shell-quite-timeout	David Aspinall	2002-07-19
\|
*	Move imagep compat code to splash	David Aspinall	2002-07-19
\|
*	Make favourites mechanism more robust; add delete command.	David Aspinall	2002-07-19
\|
*	Trivially simulate events-to-keys	David Aspinall	2002-07-19
\|
*	Dont call dont-show-annotations for GNU Emacs to avoid nasty bug.	David Aspinall	2002-07-18
\|
*	Investigation of proof-zap-commas failure in GNU Emacs; comments, no results.	David Aspinall	2002-07-18
\|
*	Fix bug in proof-zap-commas-region (which is anyway faulty)	David Aspinall	2002-07-18
\|
*	Remove obsolete function	David Aspinall	2002-07-18
\|
*	Comments	David Aspinall	2002-07-18
\|
*	Remove completion table adjustment fixed in X-Symol since Jun 01.	David Aspinall	2002-07-18
\|
*	Add my name to these	David Aspinall	2002-07-18
\|
*	Set version tag for new release.	David Aspinall	2002-07-18
\|
*	Fix active variable highlighting in Isabelle with X-Symbol.	David Aspinall	2002-07-18
\|
*	Add note about proof-generic-state-preserving-p	David Aspinall	2002-07-17
\|
*	Set version tag for new release.	David Aspinall	2002-07-17
\|
*	Added subterm help popup facility	David Aspinall	2002-07-17
\|
*	Add span-string.	David Aspinall	2002-07-17
\|
*	Add proof-shell-invisible-cmd-get-result	David Aspinall	2002-07-17
\|
*	Add pg-subterm-help-cmd	David Aspinall	2002-07-17
\|
*	Cleanups	David Aspinall	2002-07-17
\|
*	Fix span-string, span-object	David Aspinall	2002-07-17
\|
*	Refactor several variable names; clean up, doc subterm markup and output ↵	David Aspinall	2002-07-16
\| \| \| \|	display.
*	Dodgy patch to fix selection ordering of overlays. PBP works in Emacs now.	David Aspinall	2002-07-16
\|
*	Set version tag for new release.	David Aspinall	2002-07-16
\|
*	Fix comment	David Aspinall	2002-07-16
\|
*	Refactoring	David Aspinall	2002-07-16
\|
*	Comments	David Aspinall	2002-07-16
\|
*	Add char-to-int and friends, borrowed from x-symbol-emacs.	David Aspinall	2002-07-16
\|
*	Cleaning up PBP code	David Aspinall	2002-07-16
\|
*	Set version tag for new release.	David Aspinall	2002-07-15
\|
*	Set version tag for new release.	David Aspinall	2002-07-14
\|
*	Trivial	David Aspinall	2002-07-12
\|