proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Web page todo	David Aspinall	2004-02-08
\|
*	Updated.	David Aspinall	2004-02-08
\|
*	Updated.	David Aspinall	2003-10-05
\|
*	Updated.	David Aspinall	2003-09-24
\|
*	Updated.	David Aspinall	2003-03-07
\|
*	Updated.	David Aspinall	2003-02-22
\|
*	Updated.	David Aspinall	2003-02-18
\|
*	Updated.	David Aspinall	2003-02-18
\|
*	Updated.	David Aspinall	2003-02-15
\|
*	Updated.	David Aspinall	2002-11-28
\|
*	Updated.	David Aspinall	2002-09-13
\|
*	Updated.	David Aspinall	2002-09-11
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-29
\|
*	Updated.	David Aspinall	2002-08-16
\|
*	Updated.	David Aspinall	2002-08-16
\|
*	Updated.	David Aspinall	2002-08-16
\|
*	Update	David Aspinall	2002-08-16
\|
*	Updates	David Aspinall	2002-08-08
\|
*	Updated.	David Aspinall	2002-08-07
\|
*	Updated	David Aspinall	2002-07-19
\|
*	Updates	David Aspinall	2002-07-17
\|
*	Updated	David Aspinall	2002-07-16
\|
*	Stick 3.4 stuff on end	David Aspinall	2002-07-14
\|
*	Updates	David Aspinall	2002-06-08
\|
*	Updated	David Aspinall	2002-04-23
\|
*	updated	David Aspinall	2001-09-13
\|
*	Update todo	David Aspinall	2001-09-10
\|
*	Updated	David Aspinall	2001-09-05
\|
*	Updating branch	David Aspinall	2001-09-03
\|
*	TODO for proof-ass fixing added.	David Aspinall	2001-07-09
\|
*	Updated	David Aspinall	2000-10-02
\|
*	Updated	David Aspinall	2000-10-02
\|
*	Updated, cleaned up	David Aspinall	2000-10-02
\|
*	Updated	David Aspinall	2000-09-29
\|
*	Updated	David Aspinall	2000-09-29
\|
*	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
\|