proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Clean up of proof-depends	David Aspinall	2001-08-31
*	Skip settings which have no PA command in proof-assistant-settings-cmd	David Aspinall	2001-08-31
*	Add proof-shell-kill-function-hooks	David Aspinall	2001-08-31
*	pg-add-proof-element: removed accidential (?) dynamic scoping on	Makarius Wenzel	2001-08-30
*	added proof-script-integral-proofs ("Whether the complete text after a	Makarius Wenzel	2001-08-30
*	Set version tag for new release.	David Aspinall	2001-08-30
*	Add reassurance to interrupt warning to make Markus happier.	David Aspinall	2001-08-30
*	Updates for recent version of X-symbol, which has no file called x-symbol-aut...	David Aspinall	2001-08-30
*	Add :eval form for defpacustom to define PA-specific PG settings as well as P...	David Aspinall	2001-08-30
*	Add variable proof-previous-script-buffer	David Aspinall	2001-08-30
*	fixes for FSF Emacs for searching for goal span (don't call goal-command-p on...	David Aspinall	2001-08-30
*	Added implementation of remassq for FSF Emacs	David Aspinall	2001-08-30
*	pg-insert-last-output-as-comment strips special annotations from last output ...	David Aspinall	2001-08-30
*	Set version tag for new release.	David Aspinall	2001-08-28
*	Change of proof span type back to goalsave fix	David Aspinall	2001-08-28
*	Remove dependent setting of timeout, since bin calls different fn now.	David Aspinall	2001-08-28
*	Trivial	David Aspinall	2001-08-28
*	Remove mention of toolbar variable. Make timeouts vary according to how star...	David Aspinall	2001-08-28
*	Timeout happens as intended now, while loading some parts of PG.	David Aspinall	2001-08-28
*	Set version tag for new release.	David Aspinall	2001-08-17
*	Trim visibility implementation:	David Aspinall	2001-08-17
*	Add span-delete-action hook	David Aspinall	2001-08-17
*	Fix bug in proof-display-and-keep-buffer which had resulted in switching mini...	David Aspinall	2001-08-17
*	Set version tag for new release.	David Aspinall	2001-08-16
*	Switch back to using goalsave spans in PBP code	David Aspinall	2001-08-16
*	Add hide/show commands instead of make proofs visible	David Aspinall	2001-08-16
*	Generate intermediate proof span for contents of proof; other becomes 'goalsa...	David Aspinall	2001-08-16
*	Function name fixes, use idiom property in span for popup menu name.	David Aspinall	2001-08-16
*	Use proof-looking-at-syntactic-context function from proof-syntax, as suggest...	David Aspinall	2001-08-10
*	Found another instance of buffer-syntactic-context	David Aspinall	2001-08-10
*	Set version tag for new release.	David Aspinall	2001-08-10
*	Workaround for buffer-syntactic-context bug in XEmacs 21.1	David Aspinall	2001-08-10
*	Change buffer-syntactic-context -> proof-buffer-syntactic-context	David Aspinall	2001-08-10
*	Set version tag for new release.	David Aspinall	2001-08-03
*	Set version tag for new release.	David Aspinall	2001-08-01
*	Regenerate to remove Christophes patch	David Aspinall	2001-08-01
*	Moved compat hack to proof-site	David Aspinall	2001-08-01
*	Revert to removing and re-adding specifiers for toolbar,	David Aspinall	2001-08-01
*	Add a dummy version of package-provide for FSFEmacs.	David Aspinall	2001-08-01
*	* empty log message *	Christophe Raffalli	2001-07-25
*	Various changes for win32 compatibility	Christophe Raffalli	2001-07-25
*	Set version tag for new release.	David Aspinall	2001-07-23
*	Prevent error msg in proof-display-some-buffers if response dead.	David Aspinall	2001-07-23
*	Bug report from Robert Schneck. Make proof-shell-restart start shell. Goals...	David Aspinall	2001-07-23
*	Set version tag for new release.	David Aspinall	2001-07-09
*	Clean for compile	David Aspinall	2001-07-09
*	Clean for compile: new autload	David Aspinall	2001-07-09
*	Refresh	David Aspinall	2001-07-09
*	Clean-up compile	David Aspinall	2001-07-09
*	Add require for arch flags, cleaner compilation.	David Aspinall	2001-07-09