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-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
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
2006-08-23
Compatibility for GNU Emacs CVS losing sit-for
David Aspinall
2006-08-23
Comments and docstring fixes in lib and generic.
Pierre Courtieu
2006-08-21
Started the coq-insert-tactic.
Pierre Courtieu
2006-08-17
continue on the support for local variables list semi-automatic
Pierre Courtieu
2006-01-10
commit of a small patch from Stefan Monnier, to fix a small bug of
Pierre Courtieu
2005-09-30
Updated.
David Aspinall
2005-09-30
Renamed file
David Aspinall
2005-09-30
Renamed file
David Aspinall
2005-09-30
Comments.
David Aspinall
2005-09-27
Compatibility in proof-buffer-syntactic-context for XEmacs 21.5. Buffer tabs...
David Aspinall
2005-05-17
- Remove wrong docstring on make-detached-span.
David Aspinall
[next]