index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
Age
Commit message (
Expand
)
Author
2008-01-30
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-29
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-28
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-27
Switch token table mapping destination from glyph names to unicode strings. A...
David Aspinall
2008-01-25
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-22
Clean
David Aspinall
2008-01-22
New files.
David Aspinall
2008-01-17
Docstring
David Aspinall
2008-01-17
Support spans-at-region-prop.
David Aspinall
2008-01-17
Avoid some compilation/warnings
David Aspinall
2008-01-16
Tweak version differentiation for compilation
David Aspinall
2008-01-16
Updated.
David Aspinall
2008-01-15
Many compatibility updates, bug fixes, rearrangements for compilation.
David Aspinall
2008-01-14
Remove font lock settings for now
David Aspinall
2008-01-13
New files.
David Aspinall
2008-01-03
Fixed abbrev installation. + small fixes.
Pierre Courtieu
2007-12-14
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-13
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-12
Maths menu convenience
David Aspinall
2007-12-12
Tune compatibility
David Aspinall
2007-12-10
Cleanup
David Aspinall
[next]