proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Updated with fixes before 3.2.	David Aspinall	2000-09-29
\|
*	phtml -> html	David Aspinall	2000-09-28
\|
*	Generalize Isabelles atomic file scripting.	David Aspinall	2000-09-28
\|
*	Updated	David Aspinall	2000-09-27
\|
*	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)
*	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
*	Updated	David Aspinall	2000-09-23
\|
*	done: exit isar;	Makarius Wenzel	2000-09-21
\| \| \| \|	added comment about output performance;
*	Updated	David Aspinall	2000-09-18
\|
*	Updated	David Aspinall	2000-09-14
\|
*	Updated	David Aspinall	2000-09-13
\|
*	Updated	David Aspinall	2000-09-12
\|
*	Updated	David Aspinall	2000-09-08
\|
*	adapting manual needs intro fixing	David Aspinall	2000-08-28
\|
*	Added a couple of todos	David Aspinall	2000-08-28
\|
*	Updated	David Aspinall	2000-07-12
\|
*	Updated	David Aspinall	2000-07-03
\|
*	Updated	David Aspinall	2000-06-27
\|
*	Added new section on updates for future Emacs versions	David Aspinall	2000-06-15
\|
*	Message about packages needed (incomplete)	David Aspinall	2000-06-09
\|
*	Bug in file colouring	David Aspinall	2000-06-09
\|
*	Improved indentation code; enabled by default;	Makarius Wenzel	2000-06-08
\|
*	todo for C-c C-l to fix point	David Aspinall	2000-06-06
\|
*	Updated.	David Aspinall	2000-06-05
\|
*	Updated	David Aspinall	2000-06-01
\|
*	Note about generalizing settings mechanism	David Aspinall	2000-06-01
\|
*	Updated	David Aspinall	2000-05-29
\|
*	Updated	David Aspinall	2000-05-26
\|
*	Updated. Noted that "first line" bug is more prevalent than thought.	David Aspinall	2000-05-18
\|
*	Updated, mentioned Solaris bug reported by Markus.	David Aspinall	2000-05-16
\|
*	Notes about fixing docstring-magic.	David Aspinall	2000-05-12
\|
*	Updated	David Aspinall	2000-05-12
\|
*	Updated	David Aspinall	2000-05-05
\|
*	Added note about new FSF bug discovered, sigh...	David Aspinall	2000-05-01
\|
*	Updated	David Aspinall	2000-04-07
\|
*	Updated	David Aspinall	2000-04-07
\|
*	Fixed up proof-shell-proof-completed mess nicely.	David Aspinall	2000-04-07
\|
*	Updated	David Aspinall	2000-04-04
\|
*	Updated	David Aspinall	2000-04-04
\|
*	Updated	David Aspinall	2000-03-24
\|
*	Updated for 3.1	David Aspinall	2000-03-23
\|
*	Updated todo's.	David Aspinall	2000-03-22
\|
*	Updated	David Aspinall	2000-03-19
\|
*	New/updated information files	David Aspinall	2000-03-13
\|
*	Updated	David Aspinall	2000-03-10
\|
*	Updated	David Aspinall	2000-03-09
\|
*	Split low-level todo into several files.	David Aspinall	2000-03-08
\|
*	Updated	David Aspinall	2000-02-29
\|
*	Todos for 3.1	David Aspinall	2000-02-28
\|
*	Note about X-Symbol problems.	David Aspinall	2000-01-12
\|