proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Doc difference between isa and isar, fix prob with isa support.	David Aspinall	2002-07-01
\|
*	Added isabelle-load-isar-keywords mimic of script startup.	David Aspinall	2002-07-01
\|
*	Adjust syntax tables.	David Aspinall	2002-07-01
\|
*	Adjust load order, and try to load a good isar-keywords file. Add several ↵	David Aspinall	2002-07-01
\| \| \| \|	FIXMEs.
*	Add code to test new parser.	David Aspinall	2002-07-01
\|
*	Revert to previous version. Explain existence of other versions	David Aspinall	2002-06-30
\|
*	Update version	David Aspinall	2002-06-30
\|
*	Update, cleanup	David Aspinall	2002-06-30
\|
*	Reorg. Mention fontification bug.	David Aspinall	2002-06-30
\|
*	New files.	David Aspinall	2002-06-30
\|
*	Fix error catching in proof-deactivate-scripting-auto.	David Aspinall	2002-06-30
\|
*	Robustify form GNU Emacs	David Aspinall	2002-06-30
\|
*	Fix x-symbol-isabelle-input-token-grammar to remove spurious backslashes	David Aspinall	2002-06-30
\|
*	Fix GNU Emacs/X-Symbol compatibility for sml-sym-face added by Lucas Dixon.	David Aspinall	2002-06-30
\|
*	New files.	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
\|
*	Add Emacs mode comments at top	David Aspinall	2002-06-24
\|
*	Move auto-mode-alist hack here now Isar is default.	David Aspinall	2002-06-24
\|
*	Fix comment	David Aspinall	2002-06-24
\|
*	[TESTING] support for latest version of X-Symbol (back compat broken).	David Aspinall	2002-06-24
\|
*	Hack to avoid loading x-symbol-isabelle	David Aspinall	2002-06-24
\|
*	Fix to prevent {* being considered a command, flag edits	David Aspinall	2002-06-24
\|
*	Remove auto-mode-alist hack, and require on x-symbol-isabelle [TESTING].	David Aspinall	2002-06-24
\|
*	Wrong: mustn't delete isa dir, files shared with isar.	David Aspinall	2002-06-21
\|
*	GPL update	David Aspinall	2002-06-21
\|
*	GPL, 3.4 dates	David Aspinall	2002-06-21
\|
*	GPL	David Aspinall	2002-06-21
\|
*	Isar is default over isa.	David Aspinall	2002-06-21
\|
*	GPL	David Aspinall	2002-06-21
\|
*	Mention looping GNU	David Aspinall	2002-06-21
\|
*	Updated.	David Aspinall	2002-06-20
\|
*	Set version tag for new release.	David Aspinall	2002-06-20
\|
*	Updated the doc and the CHANGES file about new backtracking for Coq.	Pierre Courtieu	2002-06-19
\|
*	Match FSF C-button3 binding with XEmacs one	David Aspinall	2002-06-19
\|
*	Doc improvements	David Aspinall	2002-06-19
\|
*	Finished updating the commands and tactic lists of coq-syntax.el.	Pierre Courtieu	2002-06-19
\|
*	updated the lists of commands and tactics in coq-syntax.el.	Pierre Courtieu	2002-06-19
\|
*	Use coq-proof-mode-p instead of nesting depth test. Attempt to track ↵	David Aspinall	2002-06-19
\| \| \| \|	nesting depth (fails).
*	Add nested section example to increase the horror.	David Aspinall	2002-06-19
\|
*	Added End for sections, and silly test	David Aspinall	2002-06-19
\|