proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\| \| \| \| \|	Makefile.devel: fixed fakerelease doc/Makefile: Don't attempt page rearrangement if dviutils not present
*	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
\|
*	Removed accidental deletion of ps file.	David Aspinall	1999-06-28
\|
*	Updated	David Aspinall	1999-06-28
\|
*	Replaces .eps file	David Aspinall	1999-06-24
\|
*	Updates	David Aspinall	1999-06-24
\|
*	Deleted files.	David Aspinall	1999-06-24
\|
*	New front page image. Updated magic.	David Aspinall	1999-06-18
\|
*	Added coq-begin-Section and coq-end-Section	Patrick Loiseleur	1999-06-14
\|
*	I've added the custom option 'prog-name-guess' in the generic part and	Patrick Loiseleur	1999-05-17
\| \| \| \| \| \| \| \| \|	the function coq-guess-command-line in the coq part. Every prover should have the functon *-guess-command-line that uses, for example, the output of "make -n" to guess the correct command line options of the prover. Patrick
*	Fixed.	David Aspinall	1999-03-08
\|
*	Idea for proof-auto-retract, notes about proof-strict-read-only	David Aspinall	1999-03-08
\|
*	Improved documentation on tags	Thomas Kleymann	1999-02-24
\| \| \| \| \|	o added a suggestion by hht o documentation now at generic level only
*	extended section on Coq tags	Thomas Kleymann	1999-02-23
\|
*	Coq section on tags improved to mention coqtags.	David Aspinall	1999-02-22
\|
*	Coq proof mode renamed Coq Proof General	David Aspinall	1999-02-22
\|
*	Fixed for dvips which sends to printer by default.	David Aspinall	1999-02-22
\|
*	Updated magic. Shorted section name.	David Aspinall	1999-02-22
\|
*	Added revised version of text from Healf for Coq. Updated version ↵	David Aspinall	1999-02-22
\| \| \| \|	numbers/authors.
*	Added proof-case-fold-search	David Aspinall	1999-02-01
\|
*	Mention of continued-input prompt as API guidline.	David Aspinall	1999-01-12
\|
*	Elaborated on scripting language limitations Isabelle "bug"	David Aspinall	1998-12-18
\|
*	Updated magic. (Extra newlines added).	David Aspinall	1998-12-17
\|
*	Added Latest news section to preface to point to home page.	David Aspinall	1998-12-17
\|
*	Split chapters of html for easier browsing.	David Aspinall	1998-12-17
\|
*	Fixed spelling error.	David Aspinall	1998-12-17
\|
*	Fixup for filename	David Aspinall	1998-12-16
\|
*	Fixed info dir again. Removed detailed menu.	David Aspinall	1998-12-16
\|
*	Updated magic.	David Aspinall	1998-12-16
\|
*	Added a menu.	David Aspinall	1998-12-16
\|
*	Added space after colon in info dir entry.	David Aspinall	1998-12-16
\|
*	Fixed INFO-DIR-ENTRY (newline was lost)	David Aspinall	1998-12-16
\|