proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	save-excursion -> with-temp-buffer	David Aspinall	2010-07-08
\|
*	Remove debug message	David Aspinall	2010-06-28
\|
*	Experimental backwards delete char. See Trac #290	David Aspinall	2010-06-27
\|
*	tidy	David Aspinall	2009-12-01
\|
*	Attempt at http://proofgeneral.inf.ed.ac.uk/trac/ticket/311	David Aspinall	2009-12-01
\|
*	spaces	David Aspinall	2009-12-01
\|
*	Clean	David Aspinall	2009-12-01
\|
*	unicode-tokens-fontsymb-properties: use font-lock faces instead of proof- ones.	David Aspinall	2009-10-01
\| \| \| \| \|	Prevent font setting when symbols are revealed (use default font family). Tweak menu titles.
*	Conforming Menu Titles	David Aspinall	2009-09-30
\|
*	Conforming Menu Titles	David Aspinall	2009-09-30
\|
*	Rename dec->keyword. Update doc for quail input language.	David Aspinall	2009-09-28
\|
*	Add customize group unicode-tokens-options to faces top-level group.	David Aspinall	2009-09-21
\|
*	unicode-tokens-add-help-echo: add this customize option	David Aspinall	2009-09-21
\| \| \| \|	unicode-tokens-display-table: use this (experimental) for alternative ellipsis glyph
*	Functions to add buttons to buffer (initial attempt)	David Aspinall	2009-09-21
\|
*	unicode-tokens-set-font-var-aux: run font-lock-fontify-buffer in displayed	David Aspinall	2009-09-20
\| \| \| \|	buffers to ensure font changes are seen (change for Mac)
*	Protect against error case	David Aspinall	2009-09-20
\|
*	Note	David Aspinall	2009-09-17
\|
*	span-give-warning: remove, unused.	David Aspinall	2009-09-14
\| \| \| \|	span-write-warning: don't call FUN if inhibit-read-only.
*	Times -> Times New Roman, seems to have better substitution behaviour	David Aspinall	2009-09-13
\| \| \| \| \|	under fontconfig (i.e. existence of smoothly rendering free fonts with same metrics)
*	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
\|