proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Missing declaration	David Aspinall	2009-09-05
\|
*	Make bug references clickable	David Aspinall	2009-09-05
\|
*	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-04
\|
*	Remove some old X-Symbol references.	David Aspinall	2009-09-01
\|
*	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.
*	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
\|