proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2009-09-13	Times -> Times New Roman, seems to have better substitution behaviour	David Aspinall
	under fontconfig (i.e. existence of smoothly rendering free fonts with same metrics)
2009-09-10	Tweaks	David Aspinall

2009-09-09	Add compatilibity for declare-function in Emacs 22.1	David Aspinall

2009-09-08	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
	`unicode-tokens-token-match-regexp'. Fix typo in `proof-tactical-name-face'.
2009-09-07	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
	allow for Coq token grammar. Alter composition of strings to place characters by baseline. Doc and menu notes about replacement functions.
2009-09-06	Fix compile warnings, remove some XEmacs-isms	David Aspinall

2009-09-06	proof-buffer-syntactic-context-emulate: use caching syntax-ppss	David Aspinall
	instead of parse-partial-sexp
2009-09-06	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
	and a check for process liveness.
2009-09-06	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-05	unicode-tokens-replace-unicode: new function to interactively replace ↵	David Aspinall
	unicode chars in buffer
2009-09-05	tokens-customizable-variables: new setting. All compositions to be more ↵	David Aspinall
	general, and map char sequences into left-to-right placements
2009-09-05	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-04	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-01	Remove some old X-Symbol references.	David Aspinall