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-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
2007-12-10
Fix parens
David Aspinall
2007-12-10
texi-docstring-magic-insert-magic: fix for GNU Emacs name: function-called-at...
David Aspinall
2007-12-10
span-give-warning: consistency with span-overlay.el
David Aspinall
2007-08-19
Avoid compilation error
David Aspinall
2007-05-11
Renamed file
David Aspinall
2007-05-10
Emulate find-coding-system for GNU Emacs
David Aspinall
2007-01-20
Patch x-symbol problem with XEmacs beta
David Aspinall
2006-12-19
Support older version of define-minor-mode
David Aspinall
2006-10-27
Rationalise testing for different values of window-system, to/and support mor...
David Aspinall
2006-09-24
Tweaks to buffer history mode. Still intermediate version.
David Aspinall
2006-09-24
Add buffer history browsing
David Aspinall
2006-09-22
Fix typo.
David Aspinall
[next]