index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
Commit message (
Expand
)
Author
Age
*
Fixing parenthesis not accepted by recent emacs anymore. fix by Stefan
Pierre Courtieu
2008-10-22
*
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 opt...
David Aspinall
2008-08-04
*
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
*
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
*
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. Stil...
David Aspinall
2008-07-10
*
Add isub and isup to unicode-tokens-annotation-control-token-alist
David Aspinall
2008-07-10
*
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
*
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
*
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 Makef...
David Aspinall
2008-01-29
*
Change characters in maths-menu-menu to strings, hoping to fix compile
David Aspinall
2008-01-29
*
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
*
Sort token encode/decode mappings, so that longer strings are
David Aspinall
2008-01-29
*
Don't give error when loaded during "make doc" with old emacs version
David Aspinall
2008-01-28
[next]