proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Added generic line width adjusting to grand TODO	David Aspinall	2000-09-28
\|
*	Added extra section on how to tweak script input to the shell	David Aspinall	2000-09-28
\|
*	Added proof-shell-strip-crs-from-input, and unadvertised ↵	David Aspinall	2000-09-28
\| \| \| \|	proof-script-fly-past-comments
*	Added fly past comments to quick opts menu when new parsing mechanism active.	David Aspinall	2000-09-28
\|
*	Bug fix in proof-goto-end-of-locked. Comments in new parsing functions. ↵	David Aspinall	2000-09-28
\| \| \| \|	Tweaks to proof-script-generic-parse-cmdstart. Combine fly-past and coelesce comment options. Use proof-string-match-safe in generic-goal-command-p, to avoid error in Twelf.
*	Added proof-shell-strip-crs-from-input.	David Aspinall	2000-09-28
\|
*	Fixes to twelf support, begins to work now.	David Aspinall	2000-09-28
\|
*	** C func-menu: observe proof-syntactic-context (general problem of	Makarius Wenzel	2000-09-27
\| \| \| \|	func-menu setup?);
*	proper spelling: "Leonor Prensa Nieto";	Makarius Wenzel	2000-09-27
\| \| \| \| \|	fixed @kindex for LEGO and Coq; Isabelle Proof General: cover Isabelle/Isar as well;
*	removed broken outline stuff;	Makarius Wenzel	2000-09-27
\|
*	tuned docstring;	Makarius Wenzel	2000-09-27
\|
*	Set version tag for new release.	David Aspinall	2000-09-27
\|
*	Updated	David Aspinall	2000-09-27
\|
*	Updated, mention PG Kit.	David Aspinall	2000-09-27
\|
*	proofgeneral email address for me	David Aspinall	2000-09-27
\|
*	Added future section, fixed URLs. Updated to mention ↵	David Aspinall	2000-09-27
\| \| \| \|	proof-script-sexp-commands.
*	Shortened BUGs appendix, other improvements	David Aspinall	2000-09-27
\|
*	Updated from doc	David Aspinall	2000-09-27
\|
*	Fix URL of source	David Aspinall	2000-09-27
\|
*	Already shrunken general for buggy browsers benefit.	David Aspinall	2000-09-27
\|
*	Updated web pages, misc improvements.	David Aspinall	2000-09-27
\|
*	Fix bug email address to bugs@proofgeneral.org	David Aspinall	2000-09-27
\|
*	Added ACL2	David Aspinall	2000-09-27
\|
*	Added yet another new parsing mechanism, bit more rational this time.	David Aspinall	2000-09-27
\|
*	Added bugs that were mentioned in manual	David Aspinall	2000-09-27
\|
*	Dont use customize-set-variable for add splash logo	David Aspinall	2000-09-27
\|
*	Working home page for PG kit	David Aspinall	2000-09-27
\|
*	Added kit stuff: just copies of the DTDs at the moment.	David Aspinall	2000-09-27
\|
*	Fix adding af2 to RPM.	David Aspinall	2000-09-26
\|
*	Remove extra space preventing ChangeLog update.	David Aspinall	2000-09-26
\|
*	Set version tag for new release.	David Aspinall	2000-09-26
\|
*	Link to Isar instead of Isar/README.	David Aspinall	2000-09-26
\|
*	Make backgroundize	David Aspinall	2000-09-26
\|
*	Fix Pauls web address	David Aspinall	2000-09-26
\|
*	Fix Proof General web page to www.proofgeneral.org.	David Aspinall	2000-09-26
\|
*	Updated for 3.2 release	David Aspinall	2000-09-26
\|
*	Typo	David Aspinall	2000-09-26
\|
*	Set version tag for new release.	David Aspinall	2000-09-25
\|
*	Remove twelf from .tar.gz	David Aspinall	2000-09-25
\|
*	Add AF2 to RPM package.	David Aspinall	2000-09-25
\|
*	Added bits from todo for Isabelle	David Aspinall	2000-09-25
\|
*	isa-isatool-command: tuned standard places of Isabelle installation;	Makarius Wenzel	2000-09-25
\|
*	comment: avoid unbalanced quotes;	Makarius Wenzel	2000-09-25
\|
*	Set version tag for new release.	David Aspinall	2000-09-23
\|
*	Updated	David Aspinall	2000-09-23
\|
*	Update date.	David Aspinall	2000-09-23
\|
*	proof-display-some-buffers moves point to end of output in response buffer.	David Aspinall	2000-09-23
\|
*	Forthcoming news item	David Aspinall	2000-09-23
\|
*	Use prover-specific logos rather than generic ones...	David Aspinall	2000-09-23
\|
*	Changed size of image	David Aspinall	2000-09-23
\|