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
...
*
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
*
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. A...
David Aspinall
2008-01-27
*
Updated.
David Aspinall
2008-01-25
*
Fix variable rename
David Aspinall
2008-01-25
*
New files.
David Aspinall
2008-01-25
*
Back patch for XEmacs 21.4 on API change to add-hook.
David Aspinall
2008-01-25
*
Back patch for XEmacs 21.4 on API change to add-hook.
David Aspinall
2008-01-25
*
Deleted file
David Aspinall
2008-01-25
*
New files.
David Aspinall
2008-01-25
*
Clean
David Aspinall
2008-01-22
*
New files.
David Aspinall
2008-01-22
*
Docstring
David Aspinall
2008-01-17
*
Support spans-at-region-prop.
David Aspinall
2008-01-17
*
Avoid some compilation/warnings
David Aspinall
2008-01-17
*
Tweak version differentiation for compilation
David Aspinall
2008-01-16
*
Updated.
David Aspinall
2008-01-16
*
Many compatibility updates, bug fixes, rearrangements for compilation.
David Aspinall
2008-01-15
*
Remove font lock settings for now
David Aspinall
2008-01-14
*
New files.
David Aspinall
2008-01-13
*
Fixed abbrev installation. + small fixes.
Pierre Courtieu
2008-01-03
*
Allow blank lines in quoted regions again.
David Aspinall
2007-12-14
*
Fix matching of quoted regions with empty lines
David Aspinall
2007-12-14
*
Remove eval-when, seems unreliable
David Aspinall
2007-12-14
*
Comments.
David Aspinall
2007-12-14
*
Add eval-when
David Aspinall
2007-12-14
*
Improvements (widget sketch; modeline). Logic still faulty.
David Aspinall
2007-12-13
*
holes-skeleton-end-hook: no action if mmm-inside-insert-by-key bound
David Aspinall
2007-12-13
*
Maths menu convenience
David Aspinall
2007-12-12
*
Tune compatibility
David Aspinall
2007-12-12
[prev]
[next]