proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
1999-07-03	Load plastic and isar as a sanity check, prelude to documenting in texi	David Aspinall

1999-07-02	Date change.	David Aspinall

1999-07-01	Put info files back in dist.	David Aspinall

1999-06-30	updated	David Aspinall

1999-06-28	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-24	Replaces .eps file	David Aspinall

1999-06-24	Updates	David Aspinall

1999-06-24	Deleted files.	David Aspinall

1999-06-18	New front page image. Updated magic.	David Aspinall

1999-06-14	Added coq-begin-Section and coq-end-Section	Patrick Loiseleur

1999-05-17	I've added the custom option 'prog-name-guess' in the generic part and	Patrick Loiseleur
	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
1999-03-08	Fixed.	David Aspinall

1999-03-08	Idea for proof-auto-retract, notes about proof-strict-read-only	David Aspinall

1999-02-24	Improved documentation on tags	Thomas Kleymann
	o added a suggestion by hht o documentation now at generic level only
1999-02-23	extended section on Coq tags	Thomas Kleymann

1999-02-22	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
	numbers/authors.
1999-02-01	Added proof-case-fold-search	David Aspinall

1999-01-12	Mention of continued-input prompt as API guidline.	David Aspinall

1998-12-18	Elaborated on scripting language limitations Isabelle "bug"	David Aspinall

1998-12-17	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-16	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	Updated magic once more	David Aspinall

1998-12-16	further documentation of LEGO specific bug	Thomas Kleymann

1998-12-16	Some hacks to make markup happen.	David Aspinall

1998-12-16	minor changes in the History	Thomas Kleymann

1998-12-16	. clarified history of multiple files	Thomas Kleymann
	. added UITP reference
1998-12-15	Changed title of Chap 10.	David Aspinall

1998-12-15	Preface: Added David von Oheimb to credits. Mentioned adding multiple files.	David Aspinall

1998-12-15	Updated magic.	David Aspinall

1998-12-15	Made preface unnumbered. Cosmetic improvements. Updated magic.	David Aspinall

1998-12-15	credits now at the beginning	Thomas Kleymann

1998-12-15	* empty log message *	Thomas Kleymann

1998-12-15	Added ps to make all.	David Aspinall

1998-12-15	Fixed several typos.	David Aspinall
	Added docstring for proof-deactivate-scripting and mentioned it in Chap 10. Removed spurious mention of defunct function proof-restart-scripting.