proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Tweaks	David Aspinall	2009-09-10
\|
*	Add compatilibity for declare-function in Emacs 22.1	David Aspinall	2009-09-09
\|
*	byte-compile-and-load on write is a bit too enthusiastic	David Aspinall	2009-09-08
\|
*	Remove use of regexp-opt-depth and clarify doc of	David Aspinall	2009-09-08
\| \| \| \| \|	`unicode-tokens-token-match-regexp'. Fix typo in `proof-tactical-name-face'.
*	scomint-check-proc: make defsubst	David Aspinall	2009-09-07
\|
*	Fix compiler warnings	David Aspinall	2009-09-07
\|
*	Attempt byte compilation only for emacs lisp!	David Aspinall	2009-09-07
\|
*	(C) date	David Aspinall	2009-09-07
\|
*	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.
*	Fix compile warnings, remove some XEmacs-isms	David Aspinall	2009-09-06
\|
*	proof-buffer-syntactic-context-emulate: use caching syntax-ppss	David Aspinall	2009-09-06
\| \| \| \|	instead of parse-partial-sexp
*	Whitespace	David Aspinall	2009-09-06
\|
*	Fix compile warnings	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
\|
*	Add menu moved from Coq menu. Make deactivating holes-mode forget all holes.	David Aspinall	2009-09-06
\|
*	Simplify by removing ability to deal with restrictions	David Aspinall	2009-09-06
\| \| \| \|	and a check for process liveness.
*	Make holes-abbrev-complete obey status of minor mode.	David Aspinall	2009-09-06
\|
*	Cleanup code and use define-minor-mode.	David Aspinall	2009-09-06
\|
*	set-span-keymap: only override local map, not replace it.	David Aspinall	2009-09-06
\|
*	Fix pareno	David Aspinall	2009-09-06
\|
*	Cleanups	David Aspinall	2009-09-06
\|
*	More instrumentation	David Aspinall	2009-09-06
\|
*	unicode-tokens-replace-unicode: new function to interactively replace ↵	David Aspinall	2009-09-05
\| \| \| \|	unicode chars in buffer
*	tokens-customizable-variables: new setting. All compositions to be more ↵	David Aspinall	2009-09-05
\| \| \| \|	general, and map char sequences into left-to-right placements
*	Autoload	David Aspinall	2009-09-05
\|
*	Add characterp for Emacs 22	David Aspinall	2009-09-05
\|
*	Clean compile, remove useless autoload settings.	David Aspinall	2009-09-05
\|
*	Turn on proof-general-debug. Missing require	David Aspinall	2009-09-05
\|
*	Tidy whitespace	David Aspinall	2009-09-05
\|
*	Comments	David Aspinall	2009-09-05
\|
*	Missing declaration	David Aspinall	2009-09-05
\|
*	Make bug references clickable	David Aspinall	2009-09-05
\|
*	replace-in-string -> replace-regexp-in-string	David Aspinall	2009-09-04
\|
*	Disable fontification of input and output. Fix C-c C-c binding	David Aspinall	2009-09-04
\|
*	Disable buffer truncation for now	David Aspinall	2009-09-04
\|
*	Profile more of the code	David Aspinall	2009-09-04
\|
*	Define some keys.	David Aspinall	2009-09-04
\|
*	Remove left over comint-isms	David Aspinall	2009-09-04
\|
*	Support for Emacs22	David Aspinall	2009-09-04
\|
*	Remove further unnecessary compatibility code.	David Aspinall	2009-09-04
\|
*	Profile settings	David Aspinall	2009-09-04
\|
*	Trimmed down comint	David Aspinall	2009-09-04
\|
*	Remove some old X-Symbol references.	David Aspinall	2009-09-01
\|
*	Attempt to make compatible with Mac OS X port of Emacs 23.	David Aspinall	2009-09-01
\|