proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Removed proof shell kill bug	David Aspinall	1999-06-15
\|
*	Added todo for XEmacs packaging, reordered.	David Aspinall	1999-06-07
\|
*	Downrated Poly/ML related item since Poly is defunct.	David Aspinall	1999-06-07
\|
*	todo for reorganizing menus.	David Aspinall	1999-05-11
\|
*	Merged changes sent by Patrick Loiseleur.	David Aspinall	1999-04-07
\|
*	Idea for proof-auto-retract, notes about proof-strict-read-only	David Aspinall	1999-03-08
\|
*	Updated. Explained Coq syntax prob for proof-goal-command-p	David Aspinall	1999-02-22
\|
*	Idea to have a mailing list for PG.	David Aspinall	1999-02-01
\|
*	Fixed matching. Added todo for making some code more generic.	David Aspinall	1999-02-01
\|
*	Added TODO for syntax matching problem.	David Aspinall	1999-01-27
\|
*	. Clarified LEGO specific TODO	Thomas Kleymann	1999-01-23
\| \| \| \|	. Updated situation on License issue
*	Updated. Time estimates and doc todo.	David Aspinall	1999-01-21
\|
*	Updated. Long standing pty overflow bug fixed. We registration page wanted.	David Aspinall	1999-01-21
\|
*	todo for testing solaris bug fix	David Aspinall	1999-01-15
\|
*	Added todo for licence clarification after query from a user.	David Aspinall	1999-01-15
\|
*	Web page links to Proof General from provers now added.	David Aspinall	1999-01-15
\|
*	added links from LEGO Web page	Thomas Kleymann	1999-01-13
\| \| \| \|	Now only Isabelle's references are misssing!
*	Raised priority of Solaris bug/problem.	David Aspinall	1999-01-12
\|
*	Added todo for simplifying main download page, linking to pre-release.	David Aspinall	1998-12-17
\|
*	Note about texinfo menu update.	David Aspinall	1998-12-16
\|
*	Todo for putting Info somewhere good in the dir.	David Aspinall	1998-12-16
\|
*	Made outstanding bugs we haven't investigated a single A item.	David Aspinall	1998-12-16
\|
*	Removed all urgent TODOs for 2.0	David Aspinall	1998-12-16
\|
*	Removed suspected bug mentioned by David von O. Now assumed to	David Aspinall	1998-12-16
\| \| \| \| \|	be due to his own hacking of Proof General. Added proof-shell-exit item concerning the time delay built-in.
*	Removed done stuff. Added LEGO cd hook todo.	David Aspinall	1998-12-15
\|
*	Fixes for FSF Emacs handling of processes, kill buffer hooks,	David Aspinall	1998-12-15
\| \| \| \|	and live/dead overlays.
*	More comments about multiple file problems	David Aspinall	1998-12-11
\|
*	Urgent fix for multiple files wanted.	David Aspinall	1998-12-11
\|
*	todo for Isabelle multiple files.	David Aspinall	1998-12-11
\|
*	Updates	David Aspinall	1998-12-11
\|
*	Added some items after user feedback. Also some *** probs.	David Aspinall	1998-12-11
\|
*	Added A*** for documentation, X for ChangeLog in devel distrib.	David Aspinall	1998-12-08
\|
*	Added new todos for LEGO.	David Aspinall	1998-12-05
\|
*	Added note about final things to do for 2.0	David Aspinall	1998-11-26
\|
*	Added note about bugs elsewhere. Display issues. Tech rep todos	David Aspinall	1998-11-26
\|
*	Added 20.3 version of FSF Emacs and todo for each release.	David Aspinall	1998-11-25
\|
*	Updated. Added item for process early exiting.	David Aspinall	1998-11-25
\|
*	note about incomplete goal..save sequences.	David Aspinall	1998-11-25
\|
*	Updated	David Aspinall	1998-11-25
\|
*	Updated	David Aspinall	1998-11-25
\|
*	Updated	David Aspinall	1998-11-25
\|
*	Updated.	David Aspinall	1998-11-25
\|
*	Updates	David Aspinall	1998-11-25
\|
*	Start of urgent messages	David Aspinall	1998-11-20
\|
*	Added some suggestions from Markus Wenzel	David Aspinall	1998-11-20
\|
*	More re-ordering to move important stuff up the list	David Aspinall	1998-11-12
\|
*	Note about atrocious performance of proof-sement-up-to, even when compiled.	David Aspinall	1998-11-12
\|
*	Reorganized.	David Aspinall	1998-11-12
\|
*	Fixed bug with find-next-terminator.	David Aspinall	1998-11-12
\|
*	Added note about removing proof-goal-command-p	David Aspinall	1998-11-12
\|