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