proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	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.
*	Update autoloads	David Aspinall	2009-08-28
\|
*	Add convenience function for profiling	David Aspinall	2009-08-28
\|
*	Add a font	David Aspinall	2009-08-28
\|
*	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.
*	Define maths-menu-insert-XX functions for convenience of user-defined ↵	David Aspinall	2009-07-30
\| \| \| \| \| \|	keybindings (replacing `x-symbol-INSERT-lambda', etc).
*	Improve docstring	David Aspinall	2009-07-30
\|
*	Cleanup more Emacs compatibility	David Aspinall	2009-05-27
\|
*	Add functions for encoding string and buffer regions	David Aspinall	2009-05-26
\|
*	Remove process-live-p, move complete autoload to use point	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
*	Made indentation optional when replaing # by holes.	Pierre Courtieu	2009-01-14
\|
*	Fixing parenthesis not accepted by recent emacs anymore. fix by Stefan	Pierre Courtieu	2008-10-22
\| \| \| \|	Monnier.
*	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
\|
*	unicode-tokens-insert-token, unicode-tokens-insert-control: fixes and notes. ↵	David Aspinall	2008-07-24
\| \| \| \|	Enable fontsets command on menu always for now.
*	Allow generating variants of given fonts too	David Aspinall	2008-07-24
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Changed the main menu of coq. Changed a shortcut for holes.	Pierre Courtieu	2008-07-21
\|
*	Fix typo.	David Aspinall	2008-07-19
\|
*	Remove use of :help for menu tooltips- GNU Emacs only.	David Aspinall	2008-07-16
\|
*	Deleted file	David Aspinall	2008-07-16
\|
*	backport of recent changes to lib/unicode-tokens.el:	Makarius Wenzel	2008-07-12
\| \| \| \|	cover isup as well;
*	Correct italic attribute	David Aspinall	2008-07-12
\|
*	Add NOTE	David Aspinall	2008-07-10
\|
*	Add other sup/subs to format menu.	David Aspinall	2008-07-10
\|
*	Add format menu. Improve attempt to handle font-lock-face annotations. ↵	David Aspinall	2008-07-10
\| \| \| \|	Still faulty.
*	Add isub and isup to unicode-tokens-annotation-control-token-alist	David Aspinall	2008-07-10
\| \| \| \|	Part of patch from Simon Winwood.
*	cover isup as well;	Makarius Wenzel	2008-07-09
\|
*	Deleted file	David Aspinall	2008-07-05
\|
*	TEMPORARY: add unicode-tokens2 mechanism to test across different machines	David Aspinall	2008-07-05
\|
*	Fixed a bug with coq-prog-name.	Pierre Courtieu	2008-05-20
\|
*	Remove junk	David Aspinall	2008-02-17
\|