proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Notes.	David Aspinall	2000-09-28
\|
*	Tweaks	David Aspinall	2000-09-28
\|
*	phtml -> html	David Aspinall	2000-09-28
\|
*	Fix URL.	David Aspinall	2000-09-28
\|
*	Moved to use .html instead of .phtml	David Aspinall	2000-09-28
\|
*	Renamed files	David Aspinall	2000-09-28
\|
*	Renamed file	David Aspinall	2000-09-28
\|
*	Add FIXME	David Aspinall	2000-09-28
\|
*	Fix comment.	David Aspinall	2000-09-28
\|
*	Var name change use-new-parsing -> use-new-parser. Turn on font lock by default.	David Aspinall	2000-09-28
\|
*	Fix typo, add credit.	David Aspinall	2000-09-28
\|
*	isar-web-page;	Makarius Wenzel	2000-09-28
\|
*	Set version tag for new release.	David Aspinall	2000-09-28
\|
*	Add default target	David Aspinall	2000-09-28
\|
*	First (non-working) versions, committed so that doc builds.	David Aspinall	2000-09-28
\|
*	Fix date	David Aspinall	2000-09-28
\|
*	Dreams about testing	David Aspinall	2000-09-28
\|
*	Generalize Isabelles atomic file scripting.	David Aspinall	2000-09-28
\|
*	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
\|