proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Began adding generic line-width adjust	David Aspinall	2002-05-03
\|
*	Set version tag for new release.	David Aspinall	2002-04-23
\|
*	Set version tag for new release.	David Aspinall	2002-03-22
\|
*	Set version tag for new release.	David Aspinall	2002-03-21
\|
*	Year changes	David Aspinall	2002-03-21
\|
*	Remove toolbar gutters in multiple frame mode. Add ↵	David Aspinall	2002-03-21
\| \| \| \|	proof-shell-truncate-before-error setting.
*	Dont set type property for proof elements (experiment). Tweak name ↵	David Aspinall	2002-03-21
\| \| \| \|	determination/reporting. Provide generic implementation of find-and-forget. Dont warn about some unnecessary settings
*	Added activations for frame/window controls.	David Aspinall	2002-03-21
\|
*	Added proof-shell-truncate-before-error, adjusted proof-toolbar-entries-default.	David Aspinall	2002-03-21
\|
*	Added emultation of display-graphic-p for XEmacs	David Aspinall	2002-03-21
\|
*	Add header to XML docs	David Aspinall	2002-03-21
\|
*	New files.	David Aspinall	2002-03-21
\|
*	added hook: proof-before-fontify-output-hook	Christophe Raffalli	2002-03-21
\|
*	Add check for Emacs21.	David Aspinall	2002-02-23
\|
*	Bug fix in proof-goto-command-end. Decode x-syms in ↵	David Aspinall	2002-02-23
\| \| \| \|	pg-insert-output-as-comment.
*	Simplify enabling tests to just check window-system. Fix ↵	David Aspinall	2002-02-23
\| \| \| \|	proof-x-symbol-decode-region to return new END value after decoding.
*	Updates to font-lock handling in proof-fontify-region, ↵	David Aspinall	2002-02-23
\| \| \| \|	proof-font-lock-clear-font-lock-vars. Fix final return value in fontify region.
*	Set version tag for new release.	David Aspinall	2002-02-14
\|
*	Simplify fix for repeated comments (commentre includes whitespace).	David Aspinall	2002-01-31
\|
*	Set version tag for new release.	David Aspinall	2002-01-31
\|
*	Tweak comment	David Aspinall	2002-01-31
\|
*	Fix problem noticed with Isar and repeated comments.	David Aspinall	2002-01-31
\|
*	Set version tag for new release.	David Aspinall	2002-01-16
\|
*	Comments	David Aspinall	2002-01-16
\|
*	Also bury trace buffer	David Aspinall	2002-01-16
\|