proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	isar-preprocessing: remove unnecessary save-match-data.	David Aspinall	2009-09-07
\| \| \| \|	Fix a compile warning.
*	Remove \t in \<inverse> expansion.	David Aspinall	2009-09-07
\| \| \| \|	Make \<spacespace> be a single EM-DASH SPACE
*	Remove \t in \<module> expansion.	David Aspinall	2009-09-07
\|
*	Fix compile warnings	David Aspinall	2009-09-07
\|
*	Whitespace	David Aspinall	2009-09-07
\|
*	(C) date	David Aspinall	2009-09-07
\|
*	mapcar -> dolist	David Aspinall	2009-09-07
\|
*	Require cl for compilation	David Aspinall	2009-09-07
\|
*	Missing require	David Aspinall	2009-09-07
\|
*	Fix typos	David Aspinall	2009-09-07
\|
*	Update for Unicode Tokens.	David Aspinall	2009-09-07
\|
*	Add documentation to explain usage.	David Aspinall	2009-09-07
\| \| \| \| \|	Add setting function for dynamic updates. Add further symbols and explanation of two ways of working.
*	Use extended form of define-minor-mode	David Aspinall	2009-09-07
\|
*	Add template auto-insert hook	David Aspinall	2009-09-07
\|
*	Calculate token match regexp in a more complex way in an attempt to	David Aspinall	2009-09-07
\| \| \| \| \| \|	allow for Coq token grammar. Alter composition of strings to place characters by baseline. Doc and menu notes about replacement functions.
*	Updated	David Aspinall	2009-09-06
\|
*	Prevent compiler warnings	David Aspinall	2009-09-06
\|
*	Fix compile warnings, remove some XEmacs-isms	David Aspinall	2009-09-06
\|
*	Obsolete files	David Aspinall	2009-09-06
\|
*	proof-buffer-syntactic-context-emulate: use caching syntax-ppss	David Aspinall	2009-09-06
\| \| \| \|	instead of parse-partial-sexp
*	Typo	David Aspinall	2009-09-06
\|
*	Prevent compile warnings	David Aspinall	2009-09-06
\|
*	Avoid easy-menu-define macro	David Aspinall	2009-09-06
\|
*	Whitespace	David Aspinall	2009-09-06
\|
*	Updated	David Aspinall	2009-09-06
\|
*	Updated	David Aspinall	2009-09-06
\|
*	Remove unused subterm markup code	David Aspinall	2009-09-06
\|
*	Configuration changes for shell mode revision.	David Aspinall	2009-09-06
\|
*	Move holes menu to holes mode	David Aspinall	2009-09-06
\|
*	Updated	David Aspinall	2009-09-06
\|
*	Make sure proof-shell-last-output is non-nil	David Aspinall	2009-09-06
\|
*	pg-add-element: unbound var in debug	David Aspinall	2009-09-06
\| \| \| \| \|	proof-activate-scripting: minor cleanup proof-assert-until-point: don't go back beyond end of locked
*	Make sure proof-shell-last-output, proof-shell-last-prompt and	David Aspinall	2009-09-06
\| \| \| \|	proof-shell-delayed-ouput remain non-nil.
*	Reorganisation to avoid generating many intermediate strings from	David Aspinall	2009-09-06
\| \| \| \| \| \| \| \| \| \| \|	the shell buffer, and match shell regexp directly inside it. This changes the types of several configuration settings. Also some improvements to scomint configuration and changes to proof-shell-exec-loop to send the next command to the prover before starting to process the output from the last. This reorganisation is still in testing and will take time to bed down.
*	Include macros for compile	David Aspinall	2009-09-06
\|
*	Compile with cl. Fix typo.	David Aspinall	2009-09-06
\|
*	proof-clean-buffer: inhibit read only	David Aspinall	2009-09-06
\|
*	Change type of proof-shell-process-file, proof-shell-compute-new-files-list	David Aspinall	2009-09-06
\|
*	Fix compile warnings	David Aspinall	2009-09-06
\|
*	Remove noweb file, seems buggy.	David Aspinall	2009-09-06
\|
*	Add after save hook and convenient key binding to compile on save	David Aspinall	2009-09-06
\|
*	Supress spurious warnings	David Aspinall	2009-09-06
\|
*	More defun->defsubst changes	David Aspinall	2009-09-06
\|
*	span-mapc-spans for span-delete-spans	David Aspinall	2009-09-06
\|
*	Rearrange for scoping	David Aspinall	2009-09-06
\|
*	Tweak point movement in `proof-assert-until-point' and	David Aspinall	2009-09-06
\| \| \| \| \| \|	alter meaning of `proof-only-whitespace-to-locked-region-p'; both now refer to char after point. Script elements are now stored in hash tables rather than lists.
*	Rearrange some of point movement code for following scripting.	David Aspinall	2009-09-06
\|
*	pg-xml-parse-buffer: generalise to take region arguments.	David Aspinall	2009-09-06
\|
*	Clarify that eager message matches are now anchored	David Aspinall	2009-09-06
\|
*	Remove use-specials-for-fontify	David Aspinall	2009-09-06
\|