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
/
bufhist.el
Age
Commit message (
Expand
)
Author
2018-12-22
* coq-mode.el: New file to make coq-mode independent from PG
Stefan Monnier
2018-08-23
Fix most doc issues raised by (checkdoc)
Erik Martin-Dorel
2018-02-21
Update copyright messages and improve the header of elisp files.
Erik Martin-Dorel
2009-09-21
Functions to add buttons to buffer (initial attempt)
David Aspinall
2009-09-07
Fix compiler warnings
David Aspinall
2009-09-07
Use extended form of define-minor-mode
David Aspinall
2009-09-06
Fix compile warnings, remove some XEmacs-isms
David Aspinall
2009-09-05
Tidy whitespace
David Aspinall
2009-08-28
Update autoloads
David Aspinall
2008-07-24
Merge changes from Version4Branch.
David Aspinall
2008-01-15
Many compatibility updates, bug fixes, rearrangements for compilation.
David Aspinall
2007-12-14
Comments.
David Aspinall
2007-12-13
Improvements (widget sketch; modeline). Logic still faulty.
David Aspinall
2006-12-19
Support older version of define-minor-mode
David Aspinall
2006-09-24
Tweaks to buffer history mode. Still intermediate version.
David Aspinall
2006-09-24
Add buffer history browsing
David Aspinall