proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Set version tag for new release.	David Aspinall	1999-11-23
\|
*	Clarify formats available.	David Aspinall	1999-11-23
\|
*	Rearrange comments.	David Aspinall	1999-11-23
\|
*	Fix X-Symbol name	David Aspinall	1999-11-23
\|
*	docstring improvement	David Aspinall	1999-11-23
\|
*	Updated	David Aspinall	1999-11-23
\|
*	Fixed bug introduced by hacking proof-only-whitespace-to-locked-region-p.	David Aspinall	1999-11-23
\|
*	Updates	David Aspinall	1999-11-23
\|
*	Include pdf doc in distribution area, though.	David Aspinall	1999-11-23
\|
*	Removed ps.gz from distrib.	David Aspinall	1999-11-23
\|
*	Don't bind button1 in goals buffer, so cut and paste still work.	David Aspinall	1999-11-23
\|
*	Mention path of bash in interface scripts	David Aspinall	1999-11-23
\|
*	Mention problem with MLWorks on Solaris	David Aspinall	1999-11-23
\|
*	Make sure 8bits and coding are unset in proof-x-symbol-encode-shell-input.	David Aspinall	1999-11-23
\|
*	More notes about x-sym fixes	David Aspinall	1999-11-23
\|
*	Patch to proof-shell-proof-completed-regexp to prevent overflow, sent by Markus	David Aspinall	1999-11-23
\|
*	tuned faces;	Makarius Wenzel	1999-11-22
\|
*	Instead, remove doc/ from top-level of distdir.	David Aspinall	1999-11-22
\|
*	Do deref links again when copying doc.	David Aspinall	1999-11-22
\|
*	Don't deref links when copying doc, avoid error during export.	David Aspinall	1999-11-22
\|
*	Typo	David Aspinall	1999-11-22
\|
*	Set version tag for new release.	David Aspinall	1999-11-22
\|
*	Updated	David Aspinall	1999-11-22
\|
*	Renamed proof-auto-delete-windows -> proof-delete-empty-windows	David Aspinall	1999-11-22
\|
*	proof-shell-done-invisible -> proof-done-invisible again	David Aspinall	1999-11-22
\|
*	Image included (CVS default, add link to ../html/ProofGeneralPortrait.pdf)	David Aspinall	1999-11-22
\|
*	Added link to pdf file.	David Aspinall	1999-11-22
\|
*	Updates for X-Symbol support.	David Aspinall	1999-11-22
\|
*	Added link during distdocs build to front page image	David Aspinall	1999-11-22
\|
*	Added curious comment	David Aspinall	1999-11-22
\|
*	Added link to eps file	David Aspinall	1999-11-22
\|
*	Fixed conditional inclusion of image. Added pdf to distdoc.	David Aspinall	1999-11-22
\|
*	Updated	David Aspinall	1999-11-22
\|
*	File moved	David Aspinall	1999-11-22
\|
*	File moved	David Aspinall	1999-11-22
\|
*	Fixes for conditional inclusion of front page image	David Aspinall	1999-11-22
\|
*	Removed spurious etags target (tags already works better)	David Aspinall	1999-11-22
\|
*	Extend <var>-mode-hook for extra modes to call proof-x-symbol-mode.	David Aspinall	1999-11-22
\|
*	Fix a couple of group names, and comments at top of file.	David Aspinall	1999-11-22
\|
*	Moved goto button.	David Aspinall	1999-11-22
\|
*	Improved nothing to do error message	David Aspinall	1999-11-22
\|
*	Fix a couple of group names, and comments at top of file.	David Aspinall	1999-11-22
\|
*	Fix so clicking on url works in bug report	David Aspinall	1999-11-22
\|
*	Set version tag for new release.	David Aspinall	1999-11-19
\|
*	Fixed info probs. xrefs are a complete nonsense in info.	David Aspinall	1999-11-19
\|
*	Magic updated	David Aspinall	1999-11-19
\|
*	Updated	David Aspinall	1999-11-19
\|
*	Typo	David Aspinall	1999-11-19
\|
*	Many updates and improvements (not finished yet)	David Aspinall	1999-11-19
\|
*	Fixup branch	David Aspinall	1999-11-19
\|