proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	updated;	Makarius Wenzel	1999-10-27
*	updated;	Makarius Wenzel	1999-10-26
*	Documentation about the improved multiple file handling functions.	David Aspinall	1999-10-21
*	Changed name of proof-shell-cd-cmd for uniformity.	David Aspinall	1999-10-21
*	Added proof-shell-inform-file-processed-cmd	David Aspinall	1999-10-21
*	typo	David Aspinall	1999-10-21
*	Revised bug section for Isabelle multiple file note.	David Aspinall	1999-10-21
*	A couple of comint symbols are mentioned in the docs	David Aspinall	1999-10-21
*	Fixed crossrefs.	David Aspinall	1999-10-20
*	Rename proof-mark-buffer-atomic -> proof-complete-buffer-atomic. make magic	David Aspinall	1999-10-19
*	FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch.	David Aspinall	1999-10-15
*	docstring magic	David Aspinall	1999-10-12
*	Temporary location of web pages	David Aspinall	1999-10-07
*	Next version will be 3.0 cvs update	David Aspinall	1999-10-06
*	Updates	David Aspinall	1999-10-06
*	Updates	David Aspinall	1999-10-06
*	Admin changes for version 2.2.	David Aspinall	1999-10-06
*	proof-try-command is deprecated	David Aspinall	1999-10-06
*	Updates.	David Aspinall	1999-10-06
*	Fixup name changes	David Aspinall	1999-10-01
*	No attempt to update BUGS section of manual	David Aspinall	1999-10-01
*	Minor changes to introduction.	David Aspinall	1999-10-01
*	make magic;	Makarius Wenzel	1999-09-30
*	Added proof-script-command-separator. Removed duplicated proof-strict-read-o...	David Aspinall	1999-09-29
*	Updated	David Aspinall	1999-09-28
*	Added doc for proof-find-theorems	David Aspinall	1999-09-23
*	updated (make magic);	Makarius Wenzel	1999-09-22
*	Earlier explanation of what a proof assistant is.	David Aspinall	1999-09-22
*	Fixed rearrange target.	David Aspinall	1999-09-13
*	Updated magic	David Aspinall	1999-09-13
*	Emphasised that user can still use the shell	David Aspinall	1999-09-13
*	No longer cutting edge, really.	David Aspinall	1999-09-13
*	XEmacs 21 fixes for documentation of function menu	David Aspinall	1999-09-13
*	Made a release (ProofGeneral.spec, proof-site.el, download.phtml)	David Aspinall	1999-09-13
*	Changes for 2.3 series pre-releases.	David Aspinall	1999-08-23
*	proof-version -> proof-general-version	David Aspinall	1999-08-23
*	Remove temporary file	David Aspinall	1999-08-20
*	Updated prover versions	David Aspinall	1999-08-20
*	Date updated.	David Aspinall	1999-08-20
*	Adjustments to remove .eps picture from front	David Aspinall	1999-08-19
*	Instructions for docs	David Aspinall	1999-08-19
*	please ignore (back to 2.15);	Makarius Wenzel	1999-07-24
*	* empty log message *	Makarius Wenzel	1999-07-24
*	Load plastic and isar as a sanity check, prelude to documenting in texi	David Aspinall	1999-07-03
*	Date change.	David Aspinall	1999-07-02
*	Put info files back in dist.	David Aspinall	1999-07-01
*	updated	David Aspinall	1999-06-30
*	Updated.	David Aspinall	1999-06-28
*	Added .ps.gz target and dist target.	David Aspinall	1999-06-28
*	Problems with @image commented.	David Aspinall	1999-06-28