proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Renamed file	David Aspinall	1999-11-19
\|
*	Added simplified interaction section	David Aspinall	1999-11-19
\|
*	Additions for pdf version; needs hack to my pdftexinfo.tex to work	David Aspinall	1999-11-19
\|
*	More todo's??? Surely not	David Aspinall	1999-11-19
\|
*	Fix for proof-script-new-command-advance.	David Aspinall	1999-11-19
\|
*	Updated	David Aspinall	1999-11-19
\|
*	Added goto button	David Aspinall	1999-11-19
\|
*	Fix branch	David Aspinall	1999-11-19
\|
*	New button	David Aspinall	1999-11-19
\|
*	Added goto button.	David Aspinall	1999-11-19
\|
*	Button for proof-goto-point action.	David Aspinall	1999-11-19
\|
*	Added texi-docstring-magic-untabify to fix tabs in docstrings.	David Aspinall	1999-11-19
\|
*	Added pbp-yank-subterm, changed mouse bindings for goals buffer.	David Aspinall	1999-11-19
\|
*	docstring	David Aspinall	1999-11-19
\|
*	Removed spurious defn of proof-config.el	David Aspinall	1999-11-19
\|
*	Added by defvars x-symbol-isa-name, x-symbol-isa-modeline-name so can use ↵	David Aspinall	1999-11-19
\| \| \| \|	this file without PG
*	Added note about C-c RET broken on console.	David Aspinall	1999-11-19
\|
*	Fix proof-try-require for FSF Emacs.	David Aspinall	1999-11-19
\|
*	Set version tag for new release.	David Aspinall	1999-11-18
\|
*	Don't bother put extra modes on auto-mode-alist, rely on proof-x-symbol to ↵	David Aspinall	1999-11-18
\| \| \| \|	do the job.
*	Removed comment.	David Aspinall	1999-11-18
\|
*	Updated	David Aspinall	1999-11-18
\|
*	Call it functions menu, that's its name. Spacing.	David Aspinall	1999-11-18
\|
*	Trivial	David Aspinall	1999-11-18
\|
*	Section on what you need for PG	David Aspinall	1999-11-18
\|
*	Fixed a broken link. Rephrased some bits.	David Aspinall	1999-11-18
\|