proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Make backgroundize	David Aspinall	2000-09-26
\|
*	Fix Pauls web address	David Aspinall	2000-09-26
\|
*	Fix Proof General web page to www.proofgeneral.org.	David Aspinall	2000-09-26
\|
*	Updated for 3.2 release	David Aspinall	2000-09-26
\|
*	Typo	David Aspinall	2000-09-26
\|
*	Set version tag for new release.	David Aspinall	2000-09-25
\|
*	Remove twelf from .tar.gz	David Aspinall	2000-09-25
\|
*	Add AF2 to RPM package.	David Aspinall	2000-09-25
\|
*	Added bits from todo for Isabelle	David Aspinall	2000-09-25
\|
*	isa-isatool-command: tuned standard places of Isabelle installation;	Makarius Wenzel	2000-09-25
\|
*	comment: avoid unbalanced quotes;	Makarius Wenzel	2000-09-25
\|
*	Set version tag for new release.	David Aspinall	2000-09-23
\|
*	Updated	David Aspinall	2000-09-23
\|
*	Update date.	David Aspinall	2000-09-23
\|
*	proof-display-some-buffers moves point to end of output in response buffer.	David Aspinall	2000-09-23
\|
*	Forthcoming news item	David Aspinall	2000-09-23
\|
*	Use prover-specific logos rather than generic ones...	David Aspinall	2000-09-23
\|
*	Changed size of image	David Aspinall	2000-09-23
\|
*	Minor	David Aspinall	2000-09-23
\|
*	Removed:	David Aspinall	2000-09-23
\| \| \| \| \| \| \| \| \| \|	X Improve efficiency for processing for large proofs (N/A) D Enable toolbar in other PG buffers (done) A Add Pierre's improvement for X-Symbol config (done) A make C-c C-l go to bottom of response buffer while output (done) B New keymap(s) for proof assistants. (done) A Add efficiency improvement by turning on/off prover output. (done) C Make the remaining options in the quick-opts-menu be more (done\|N/A)
*	Add prover-specific logo rather than generic ones...	David Aspinall	2000-09-23
\|
*	Image of the general with ??? badge	David Aspinall	2000-09-23
\|
*	Add Pierre's tweak	David Aspinall	2000-09-23
\|
*	Standard poor X-Symbol support for twelf.	David Aspinall	2000-09-23
\|
*	Changes: (actually in previous version)	David Aspinall	2000-09-23
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	- Undoing comments with FSF Emacs fixed (thanks to Christophe Raffalli) - C-x C-v and C-x C-w supposed fixed. - have added proof-shell-important-settings - confused (initialization) bug: assumed fixed. - proof-shell-handle-error-hook has gone - rpm relocatability improved - Added auto-autoloads - proof-goals-display-qed-message has gone - added mechanism to close goal....<nosave> goal.... sequences - Removed unimportant X's: * X Consider filtering out special annotations from shell buffer
*	Deleted file	David Aspinall	2000-09-23
\|
*	proof-display-some-buffers improved: toggles between goals and response in	David Aspinall	2000-09-23
\| \| \| \|	2-pane mode
*	Fix proof-display-and-keep-buffer for displaying from non-script buffer. ↵	David Aspinall	2000-09-23
\| \| \| \|	Add proof-with-script-buffer.
*	Always activate bug fix -- this file only loaded for FSF Emacs.	David Aspinall	2000-09-23
\|
*	Make toolbar enablers work appropriately from non-scripting buffers	David Aspinall	2000-09-23
\| \| \| \| \|	Remove support for obsolete 1-bit xbm images Update comments
*	Call (proof-toolbar-setup) to add toolbar to goals and response buffer	David Aspinall	2000-09-23
\| \| \| \|	Unify goals and response menus with script buffer menu
*	Deleted file	David Aspinall	2000-09-23
\|
*	Remove require on proof-depends	David Aspinall	2000-09-23
\| \| \| \| \|	Make toolbar commands work from non-scripting buffers Add save file dialogue to proof-register-possibly-new-processed-file
*	Update comments	David Aspinall	2000-09-23
\|
*	Updated	David Aspinall	2000-09-23
\|
*	Improved(?) goto button	David Aspinall	2000-09-23
\|
*	Remove obsolete xbms	David Aspinall	2000-09-23
\|
*	Remove xbm's	David Aspinall	2000-09-23
\|
*	Slightly shorter name for info dir entry.	David Aspinall	2000-09-21
\|
*	Set version tag for new release.	David Aspinall	2000-09-21
\|
*	Fix globbing some more.	David Aspinall	2000-09-21
\|
*	Fix for rpm braindead globbing.	David Aspinall	2000-09-21
\|
*	Fix infodir entry, it got broken somehow.	David Aspinall	2000-09-21
\|
*	Add PG-adapting to info files.	David Aspinall	2000-09-21
\|
*	tweak 'x-symbol-image-converter to avoid confusing warning;	Makarius Wenzel	2000-09-21
\|
*	use plain /bin/sh instead of bash;	Makarius Wenzel	2000-09-21
\|
*	Added Prefixes: tag	David Aspinall	2000-09-21
\|
*	Add symlink PG -> PG-ver to main dist. Dont dereference symlinks when making ↵	David Aspinall	2000-09-21
\| \| \| \|	tars (why was it done?).
*	Make PG-adapting first so index.html left pointing to main manual	David Aspinall	2000-09-21
\|
*	added Isabelle symbols for parendblleft/parendblright glyphs (will be	Makarius Wenzel	2000-09-21
\| \| \| \| \|	present in X-Symbol-3.3e; should not cause problems with older versions);