proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
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.
1998-12-15	Updated magic. Small changes in Chap 11.	David Aspinall

1998-12-15	Added back magic target, handy to force update of magic.	David Aspinall

1998-12-15	radical new version of Credits and References section	Thomas Kleymann

1998-12-15	made many minor changes to the documentation	Thomas Kleymann

1998-12-14	rearrange pages automatically	Thomas Kleymann

1998-12-11	. Removed "multiple prover problem" from bugs section, since it's now	David Aspinall
	handled gracefully. It's a limitation rather than a bug per se. . Added a new subsection to Appendix A, for setting names of binaries. . Moved the table of script extensions and mode names to section 1.1 . Added proof-shell-insert and proof-invisible command to Chap 10. . Updated magic.
1998-12-10	Changed name of proof-toolbar-inhibit variable for uniformity.	David Aspinall

1998-12-07	Added proof-shell-preprocess-command for Paul Callaghan.	David Aspinall

1998-11-26	Added HTML files.	David Aspinall

1998-11-26	Added proof-shell-clear-goals-regexp.	David Aspinall

1998-11-26	Improvements from Markus Wenzel. Re-made after texi-docstring-magic	David Aspinall

1998-11-25	Updated magic.	David Aspinall

1998-11-25	More polish.	David Aspinall

1998-11-25	Fixed up uses of @ref, @xref, @pxref.	David Aspinall

1998-11-25	Be gentler in walkthrough.	David Aspinall

1998-11-25	Updated	David Aspinall

1998-11-25	Cleaned up some text.	David Aspinall
	Added example special display regexps. Note about Isabelle PG clashing with sml-mode.
1998-11-25	Replaced ProofGeneral.texi with NewDoc.texi. Deleted NewDoc.texi	David Aspinall

1998-11-25	Improvements to get rid of old ProofGeneral.texi.	David Aspinall
	Added doc for active terminator, proof shell start, stop, and restart.
1998-11-25	Documentation improvements.	David Aspinall

1998-11-25	Extra Isabelle PG bug/feature with theory loader. Plan for pbp.	David Aspinall

1998-11-25	Updated magic	David Aspinall

1998-11-25	Replaced proof-pbp-buffer with proof-goals-buffer.	David Aspinall

1998-11-25	Added note about no specific doc for Coq PG	David Aspinall

1998-11-25	Name fix.	David Aspinall

1998-11-25	Load proof-toolbar	David Aspinall