proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Junk proof-xsym-toggle-hook	David Aspinall	1999-11-18
\|
*	Updates to Preface.	David Aspinall	1999-11-18
\|
*	Attempted patch no.1	David Aspinall	1999-11-18
\|
*	Use new function proof-try-require instead of condition-case ...	David Aspinall	1999-11-18
\| \| \| \| \| \| \|	Make switching on/off possibly more smooth by cleaning response buffer and sending show proof command to proof assistant. Also, when turning on/off run proof-x-symbol-mode in all buffers in proof-xsym-extra-modes. Nice for Isabelle theories.
*	Automatically generate special-display-regexps entry, and	David Aspinall	1999-11-18
\| \| \| \| \| \| \|	add function for new multiple frames user option. Don't display "done" in goals buffer (may never happen anyway) Remove code for response buffer erasing. Clean some comments.
*	Changed eval-when-compile to eval-when (compile).	David Aspinall	1999-11-18
\| \| \| \| \| \| \| \| \|	Made a new menu for quick options editing, put it in shared menu. Added options for multiple frames, auto delete windows. Toolbar :active is now more sringent, must be in script buffer. Use proof-try-require to load func-menu in mode definition, solving problem of func-menu configuration before it's loaded. Cleaned up some comments.
*	Moved response buffer code here.	David Aspinall	1999-11-18
\| \| \| \| \|	Moved -output-fontify-toggle away. Made proof-switch-to-buffer more robust
*	Added user option for multiple frames.	David Aspinall	1999-11-18
\|
*	More optimistic about byte comp.	David Aspinall	1999-11-18
\|
*	Updated	David Aspinall	1999-11-18
\|
*	Typo.	David Aspinall	1999-11-18
\|
*	Failed attempt to trap C-g during try-update-thy. Left as comments.	David Aspinall	1999-11-18
\|
*	Tweaks	David Aspinall	1999-11-17
\|
*	Fix to -with-hole regexps	David Aspinall	1999-11-17
\|
*	Update branch for 3.0 release.	David Aspinall	1999-11-17
\|
*	Another typo	David Aspinall	1999-11-17
\|
*	Typo	David Aspinall	1999-11-17
\|
*	Rewrote some history. Fixed pg_email link.	David Aspinall	1999-11-17
\|
*	Full stop added	David Aspinall	1999-11-17
\|
*	Updated link to LFCS. Added link to demoisa-easy.el	David Aspinall	1999-11-17
\|
*	Prevent access to ~ files too.	David Aspinall	1999-11-17
\|
*	Deleted files.	David Aspinall	1999-11-17
\|
*	Changed doc link	David Aspinall	1999-11-17
\|
*	Formatting	David Aspinall	1999-11-17
\|
*	Reordering.	David Aspinall	1999-11-17
\|
*	Link to demoisa-easy.el	David Aspinall	1999-11-17
\|
*	Added link to CtCoq	David Aspinall	1999-11-17
\|
*	Service patch to fix embarrassing privacy problem, 8-).	David Aspinall	1999-11-17
\|
*	Fixed some docstrings	David Aspinall	1999-11-17
\|
*	Set version tag for new release.	David Aspinall	1999-11-17
\|
*	Tweaked preface.	David Aspinall	1999-11-17
\|
*	Ignore file for ProofGeneral link to ../.. for testing.	David Aspinall	1999-11-17
\|
*	Remove Makefile.xemacs from distrib.	David Aspinall	1999-11-17
\|
*	Link to demoisa-easy.el	David Aspinall	1999-11-17
\|