proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Fix so highlighting of real unicode characters setting is obeyed when mode ↵	David Aspinall	2009-07-30
\| \| \| \|	toggled on/off.
*	Improve docstring	David Aspinall	2009-07-30
\|
*	Add functions for encoding string and buffer regions	David Aspinall	2009-05-26
\|
*	unicode-tokens-symbs-to-props: Allow multiple properties to work. Note: ↵	David Aspinall	2009-05-26
\| \| \| \|	font prop must be given first
*	unicode-tokens-initialise: Fix bug introduced in 10.4: return value was spoilt.	David Aspinall	2008-09-18
\|
*	Documentation	David Aspinall	2008-08-06
\|
*	unicode-tokens-initialise: initialise menu here too rather than at top level	David Aspinall	2008-08-05
\|
*	Merge accidental changes to 3.7 branch. Add Highlight real Unicode chars ↵	David Aspinall	2008-08-04
\| \| \| \|	option.
*	Fix maths menu tokenise adjustment for type of unicode-tokens-uchar-hash-table.	David Aspinall	2008-07-24
\|