proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Trivial	David Aspinall	2002-07-12
\|
*	condition-case -> ignore-errors, comment.	David Aspinall	2002-07-12
\|
*	Add definition of font-lock-preprocessor-face	David Aspinall	2002-07-02
\|
*	Set version tag for new release.	David Aspinall	2002-07-01
\|
*	Use executable-find	David Aspinall	2002-07-01
\|
*	proof-restart: also remove idiom internal spans.	David Aspinall	2002-07-01
\|
*	Fix problem with GNU Emacs support: switch to multibyte in output buffers	David Aspinall	2002-07-01
\|
*	Fix error catching in proof-deactivate-scripting-auto.	David Aspinall	2002-06-30
\|
*	Robustify form GNU Emacs	David Aspinall	2002-06-30
\|
*	When killing process or scripting buffer, register file if it is complete, ↵	David Aspinall	2002-06-30
\| \| \| \|	rather than always retracting.
*	proof-shell-kill-function: deactivate scripting before shutting down prover	David Aspinall	2002-06-30
\|
*	Require x-symbol-vars as recommended for new version (works with old too?)	David Aspinall	2002-06-24
\|
*	Disable fly past comments for old parser again.	David Aspinall	2002-06-24
\|
*	Default to using old parser for now.	David Aspinall	2002-06-24
\|
*	use-old-parser setting replaces use-new-parser setting [WARNING: big change]	David Aspinall	2002-06-24
\|
*	use-old-parser setting replaces use-new-parser setting [WARNING: big change]	David Aspinall	2002-06-24
\|
*	Also use our own buffer-syntactic-context in XEmacs 21.4.	David Aspinall	2002-06-24
\|
*	GPL	David Aspinall	2002-06-21
\|
*	Set version tag for new release.	David Aspinall	2002-06-20
\|
*	Match FSF C-button3 binding with XEmacs one	David Aspinall	2002-06-19
\|
*	Doc improvements	David Aspinall	2002-06-19
\|
*	Add proof-shell-last-prompt.	David Aspinall	2002-06-19
\|
*	Set version tag for new release.	David Aspinall	2002-06-19
\|
*	Remove lift-global function.	David Aspinall	2002-06-18
\|
*	Remove global testing and lift-global function; rename proof-nested-goals -> ↵	David Aspinall	2002-06-18
\| \| \| \|	proof-nested-goals-history.
*	A nil setting of proof-kill-goal-command forces use of proof-find-and-forget ↵	David Aspinall	2002-06-13
\| \| \| \|	for all retraction.
*	Docs	David Aspinall	2002-06-13
\|
*	Experiment with showing real prover output for aborted proofs.	David Aspinall	2002-06-13
\|
*	Second variant of next-span, without doubly nested loop	David Aspinall	2002-06-12
\|
*	Improve imp of next-span	David Aspinall	2002-06-12
\|
*	Make hack for XEmacs 21.4 also work for later versions	David Aspinall	2002-06-12
\|
*	Adjust proof-nesting depth, add FIXME notes since not right yet	David Aspinall	2002-06-12
\|
*	Add nestedundos setting to span, and proof-nested-undo-regexp setting	David Aspinall	2002-06-12
\|
*	Only match saves for prover that supports nested proofs (restores old ↵	David Aspinall	2002-06-11
\| \| \| \|	behaviour for Isar). Isar goal/save regexps dont match up properly.
*	Improved proof-nesting-depth (not finished yet)	David Aspinall	2002-06-11
\|
*	Add proof-nesting-depth, new implementation of span amalgamation in ↵	David Aspinall	2002-06-11
\| \| \| \|	proof-done-advancing.
*	Clean up span.el loading; make compat with bbdb.el in FSF	David Aspinall	2002-06-08
\|
*	Clean up span.el loading	David Aspinall	2002-06-08
\|
*	Robustness fixes/bug notes	David Aspinall	2002-06-08
\|
*	Spacing	David Aspinall	2002-06-08
\|
*	Tweak liveness test	David Aspinall	2002-06-08
\|
*	Alter order	David Aspinall	2002-06-08
\|
*	Fix keysym to use FSF syntax	David Aspinall	2002-06-08
\|
*	Set version tag for new release.	David Aspinall	2002-06-08
\|
*	Set version tag for new release.	David Aspinall	2002-05-03
\|
*	Fix X-symbol URL	David Aspinall	2002-05-03
\|
*	Fix font lock for E21 (I hope)	David Aspinall	2002-05-03
\|
*	Try to support next-error key binding for both Emacs versions.	David Aspinall	2002-05-03
\|
*	Fix loading order to load Isar before Isa	David Aspinall	2002-05-03
\|
*	Craftily set experimental fetures on for devel release.	David Aspinall	2002-05-03
\|