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 (
Collapse
)
Author
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. ↵
David Aspinall
Add unicode-tokens-rotate-glyph-{forward,backward}.
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: ↵
David Aspinall
function-called-at-point
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 ↵
David Aspinall
more Emacs ports easily
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
2006-09-22
Add workaround for GNU Emacs problems in easymenu-add.
David Aspinall
2006-08-23
sit-for is indeed in subr.el, must be careful to load right
David Aspinall
libraries...
2006-08-23
Compatibility for GNU Emacs CVS losing sit-for
David Aspinall
(this will break much code, isn't it in some .el file?)
2006-08-23
Comments and docstring fixes in lib and generic.
Pierre Courtieu
2006-08-21
Started the coq-insert-tactic.
Pierre Courtieu
[prev]
[next]