proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	(briefly) documented problem with sections in Coq	Thomas Kleymann	1998-11-10
\|
*	documented problem with Discharge in LEGO	Thomas Kleymann	1998-11-10
\|
*	Fixed bug for when proof-rsh-command is empty	David Aspinall	1998-11-10
\|
*	Changed text ready for 2.0 release	David Aspinall	1998-11-10
\|
*	Removed spurious fi	David Aspinall	1998-11-10
\|
*	Added some support for making a full release. Must edit html by hand though.	David Aspinall	1998-11-10
\|
*	Refresh response buffer when goals buffer is refreshed.	Thomas Kleymann	1998-11-10
\|
*	Fixes for byte compilations and missing bits of Isamode.	David Aspinall	1998-11-10
\|
*	Removed traces of support for Ruy's legogrep. This is superseded by legotags.	Thomas Kleymann	1998-11-10
\|
*	introduced section for FSF Emacs	Thomas Kleymann	1998-11-10
\|
*	Removed superfluous variable. Improved docstrings.	David Aspinall	1998-11-09
\|
*	Added docstring	David Aspinall	1998-11-09
\|
*	Updated user-view of our todo	David Aspinall	1998-11-09
\|
*	More reorganization. Added content to Isabelle chapter, begun basic script.	David Aspinall	1998-11-09
\|
*	Added proof-rsh-command to help complete documentation (was allocated	David Aspinall	1998-11-09
\| \| \| \|	to tms but he said he wouldn't get around to it)
*	Added bug about FSFmacs/proof-strict-read-only=t/font-lock	David Aspinall	1998-11-09
\|
*	Added proof-script-indent user option, to enable indentation code.	David Aspinall	1998-11-09
\| \| \| \| \| \|	Disabled by default. May be activated by particular proof assistants if they feel confident about it. I don't. Made proof-indent be autoloaded as needed. Lets pray it won't be.
*	Added section on multiple files	Thomas Kleymann	1998-11-09
\|
*	Added section on Isabelle specific bugs.	David Aspinall	1998-11-09
\|
*	Reduced a priority. Added release todo	David Aspinall	1998-11-09
\|
*	Added proof-strict-read-only, probably a handy new user-option.	David Aspinall	1998-11-09
\| \| \| \| \| \|	Side effect is that it's default value of nil for FSF Emacs avoids the font lock problem with span-read-only for FSF Emacs. XEmacs does not have the warning message implemented yet.
*	Added acknowledgements to doc. Removed from code.	David Aspinall	1998-11-09
\|
*	new maintainer for LEGO Proof General	Thomas Kleymann	1998-11-06
\|
*	Added prefix arg to thy-find-other-file to use same window	David Aspinall	1998-11-06
\|
*	(Failed) Attempt to recognize XEmacs with broken jpeg support	David Aspinall	1998-11-06
\|
*	Added plea for help and made logo in intro only for HTML.	David Aspinall	1998-11-06
\|
*	Nasty things no longer happen, can't load Proof General more than once	David Aspinall	1998-11-06
\|
*	Give error message when attempting to load a second instance of Proof	David Aspinall	1998-11-06
\| \| \| \| \|	General, and give up loading. To save embarrasment in demos, 8-).
*	completed chapter on Known bugs. However section on Isabelle Proof	Thomas Kleymann	1998-11-05
\| \| \| \|	General specific bugs is still missing.
*	completed chapter on LEGO Proof General	Thomas Kleymann	1998-11-05
\|
*	Set version tag for new release.	David Aspinall	1998-11-04
\|
*	o consistent formatting of section headings	Thomas Kleymann	1998-11-04
\| \| \| \| \|	o new chapter on support for other packages o updated section on fume-func
*	Revised section on Advanced Script Management	Thomas Kleymann	1998-11-04
\|
*	added a FIXME comment for non-pertinent buffers	Thomas Kleymann	1998-11-04
\|
*	first draft of Advanced Script Management section; I assume there will	Thomas Kleymann	1998-11-04
\| \| \| \|	be a handy menu item to switch to the shell buffer.
*	Added key binding to switch between theory and ML files.	David Aspinall	1998-11-04
\|
*	Added item for func-menu and proof-save-goal-with-hole-regexp	David Aspinall	1998-11-04
\|
*	Reimplemented thy-find-other-file	David Aspinall	1998-11-04
\|
*	Minor fixes	David Aspinall	1998-11-04
\|
*	Being pedantic about variables versus predicates, renamed prog-name-ask-p.	David Aspinall	1998-11-03
\|
*	Fixes and improvements	David Aspinall	1998-11-03
\|
*	Added more content. Texi a Bit buggy	David Aspinall	1998-11-03
\|
*	release now should make links to -latest names for fixed URLs. (needs testing)	David Aspinall	1998-11-03
\|
*	Updated and improved.	David Aspinall	1998-11-03
\|
*	Corrected credit for original texi	David Aspinall	1998-11-03
\|
*	Added two new todos	David Aspinall	1998-11-03
\|
*	Added docstring	David Aspinall	1998-11-03
\|
*	Removed FIXME	David Aspinall	1998-11-03
\|
*	Disabled annotated prompts because of strange bug.	David Aspinall	1998-11-03
\|
*	Fixed multiple file bug	David Aspinall	1998-11-03
\|