proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Updated.	David Aspinall	2008-02-17
\|
*	Add serif token match	David Aspinall	2008-02-17
\|
*	Remove left over propertise experiment call; fixes #202	David Aspinall	2008-02-17
\|
*	unicode-tokens: Experimental multiple font support	David Aspinall	2008-02-17
\|
*	Unicode tokens: support face changing via 'font-lock-face'	David Aspinall	2008-02-09
\|
*	Tweak initialisation (no difference if setup properrly via proof-unicode-tokens)	David Aspinall	2008-02-06
\|
*	Switch order of annotations and substitutions, to allow substitutions to contain	David Aspinall	2008-02-06
\| \| \| \| \| \| \|	further annotations (e.g. a symbol denotes a bold character or special font). Fix a compatibility issue with MMM (avoid changing encoding on indirect buffer) Fix removing face properties when turning off (re fontify). Don't try to save properties: face (giving up on temporarily on bold) or autocompose.
*	New files.	David Aspinall	2008-02-04
\|
*	Make display properties rear sticky. This is good for begin..end but not	David Aspinall	2008-02-04
\| \| \| \|	for singleton controls (which are a nuisance enough already).
*	Support Isabelle control sequences for subscripts/superscripts	David Aspinall	2008-02-04
\|
*	Comments.	David Aspinall	2008-02-04
\|
*	Add some error checking to `unicode-tokens-token-name-alist'	David Aspinall	2008-02-03
\|
*	Fix RCS tags	David Aspinall	2008-01-30
\|
*	Documentation.	David Aspinall	2008-01-30
\|
*	Clarify GE>=23 required for glyph rotation (decode 'ucs in fact).	David Aspinall	2008-01-30
\|
*	Add docstrings	David Aspinall	2008-01-30
\|
*	PG tagline	David Aspinall	2008-01-30
\|
*	Updated.	David Aspinall	2008-01-30
\|
*	Updated.	David Aspinall	2008-01-30
\|
*	Add buffer-substring-no-properties in case of older Emacs versions	David Aspinall	2008-01-29
\|
*	Revert previous change, does not help. Solve #184 by ignoring error in ↵	David Aspinall	2008-01-29
\| \| \| \|	Makefile.
*	Change characters in maths-menu-menu to strings, hoping to fix compile	David Aspinall	2008-01-29
\| \| \| \|	problem with older XEmacs (Trac #184).
*	Make XEmacs compatible. Make rotate glyphs look for a char.	David Aspinall	2008-01-29
\|
*	tokens-to-unicode, unicode-to-tokens: preserve modification status	David Aspinall	2008-01-29
\| \| \| \| \|	mode switch on/off: discard undo history -- edits inside tokens get mapped to wrong positions afterwards, so undo garbles source.
*	Sort token encode/decode mappings, so that longer strings are	David Aspinall	2008-01-29
\| \| \| \| \|	converted first, which is more likely to give correct results for text that has multiple possible de/encodings.
*	Don't give error when loaded during "make doc" with old emacs version	David Aspinall	2008-01-28
\|
*	Appearance is OK with NextStep Emacs.app.	David Aspinall	2008-01-28
\|
*	Workaround a small bug in Carbon Emacs Winter 2008: mac-key-mode not bound	David Aspinall	2008-01-28
\|
*	Maths menu works OK in Carbon Emacs	David Aspinall	2008-01-28
\|
*	Allow decode/encode for read-only buffers. Fix map, case folding on replace.	David Aspinall	2008-01-28
\|
*	Use buffer file format to code/decode.	David Aspinall	2008-01-28
\|
*	Add shortcuts for tokens to quail input method. Sketch of coding system.	David Aspinall	2008-01-28
\|
*	unload-pg: Update features	David Aspinall	2008-01-28
\|
*	Switch token table mapping destination from glyph names to unicode strings. ↵	David Aspinall	2008-01-27
\| \| \| \|	Add unicode-tokens-rotate-glyph-{forward,backward}.
*	Updated.	David Aspinall	2008-01-25
\|
*	Fix variable rename	David Aspinall	2008-01-25
\|