proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Update copyright messages and improve the header of elisp files.	Erik Martin-Dorel	2018-02-21
\|
*	Remove some Emacs <24.1 compatibility cruft	Clément Pit--Claudel	2017-03-08
\|
*	Fixing unicode tokens in generic code and in coq.	Pierre Courtieu	2017-03-08
\|
*	Summary: Fix to work with dark color themes (stipple with header-line face)	David Aspinall	2015-03-13
\|
*	Fix compile for Emacs 24	David Aspinall	2012-09-04
\|
*	Emacs 24 update	David Aspinall	2012-08-16
\|
*	Change default Unicode Tokens font back to DejaVU Sans, more reliable ↵	David Aspinall	2012-04-30
\| \| \| \|	without installing STIX.
*	Support delete selection mode on remapped delete commands	David Aspinall	2011-02-23
\| \| \| \|	Update some of font alias choices.
*	ns-popup-font-panel: pass through argument list (used in Aquamacs Options menu).	David Aspinall	2011-01-26
\|
*	Clean up invisibility spec	David Aspinall	2010-09-08
\|
*	unicode-tokens-delete-backward-1: backward-delete-char -> delete-char to fix ↵	David Aspinall	2010-08-24
\| \| \| \|	Emacs 24 compile warning
*	Default to non-italic symbol font variant for Mac OS X. Simplify font ↵	David Aspinall	2010-08-19
\| \| \| \|	changing code.
*	unicode-tokens-show-controls (C-c C-t C-t): Use redraw-display instead	David Aspinall	2010-08-18
\| \| \| \|	of redisplay to reveal invisibility spec changes
*	unicode-tokens-symbol-font-face: default to italic and support setting	David Aspinall	2010-08-11
\| \| \| \|	the symbol font face's :slant as well as :family attributes.
*	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
\|
*	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
*	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)
*	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)
*	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'.
*	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.
*	Whitespace	David Aspinall	2009-09-06
\|
*	Supress spurious warnings	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
*	Comments	David Aspinall	2009-09-05
\|
*	Attempt to make compatible with Mac OS X port of Emacs 23.	David Aspinall	2009-09-01
\|
*	Fix unicode-tokens-script-font-face	David Aspinall	2009-08-31
\|
*	Support mouse font selection in Emacs 22.	David Aspinall	2009-08-31
\| \| \| \|	Fix interface to custom, saved faces are in .emacs, not current buffer(!).
*	Experiments improving defaults	David Aspinall	2009-08-31
\|
*	Disable large symbol font for now	David Aspinall	2009-08-31
\|
*	Improve and extend font configuration. Add ↵	David Aspinall	2009-08-30
\| \| \| \|	unicode-tokens-replace-shortcut-match.
*	Extend the available types of controls. Move fontsymb-properties here. ↵	David Aspinall	2009-08-28
\| \| \| \|	Prettify the token table.
*	Disable "Set fontsets" sub menu for new Emacsen	David Aspinall	2009-08-28
\|
*	Change font-lock-keywords to use our own hacked ↵	David Aspinall	2009-08-28
\| \| \| \| \| \| \| \| \| \|	`unicode-tokens-prepend-text-property' instead of `font-lock-prepend-text-property' which gave ill formed property values for 'face. Still not clear if that function is faulty or usage was not as intended. Anyway, this repairs outstanding merge properties problem so that <bold><italic>foo</italic></bold> works as expected. Also: fix key binding for unicode-tokens-show-controls so is usable.
*	Enhanced font setting mechanism: allow a separate font for symbols,	David Aspinall	2009-08-28
\| \| \| \| \|	and add user-level functions to set the configured fonts. unicode-tokens-delete-token-near-point: add this user-level function
*	Doc tweaks via checkdoc.	David Aspinall	2009-08-20
\|
*	Add indirection for setting unicode tokens variables to add customize menu ↵	David Aspinall	2009-08-12
\| \| \| \|	options
*	unicode-tokens-list-tokens: change help doc	David Aspinall	2009-08-12
\|
*	Add docstrings. Regexp quote to escape control chars and regions	David Aspinall	2009-08-06
\|
*	Work in progress on multiple instances of token modes	David Aspinall	2009-08-06
\|
*	Improve documentation. Add `unicode-tokens-list-shortcuts'.	David Aspinall	2009-07-30
\|