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
Commit message (
Expand
)
Author
Age
*
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-23
*
Started the coq-insert-tactic.
Pierre Courtieu
2006-08-21
*
continue on the support for local variables list semi-automatic
Pierre Courtieu
2006-08-17
*
commit of a small patch from Stefan Monnier, to fix a small bug of
Pierre Courtieu
2006-01-10
*
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-30
*
Compatibility in proof-buffer-syntactic-context for XEmacs 21.5. Buffer tabs...
David Aspinall
2005-09-27
*
- Remove wrong docstring on make-detached-span.
David Aspinall
2005-05-17
*
Deleted file
David Aspinall
2005-05-17
*
debugging and cleaning of holes.el.
Pierre Courtieu
2005-03-10
*
small modifications, updating doc string of holes.el.
Pierre Courtieu
2005-03-08
*
making holes.el cleaner, with the help of Stefan Monnier. I had to
Pierre Courtieu
2005-03-08
*
cleaning holes.el, starting to making it compatible with skeletons.
Pierre Courtieu
2005-03-01
*
debugging of holes.el.
Pierre Courtieu
2005-03-01
*
Debugging holes.el, starting trying to use skeletons.
Pierre Courtieu
2005-02-21
*
Cleaning file holes.el (tab-width, docstring etc).
Pierre Courtieu
2005-02-21
*
Updated the doc for new pg/coq. Made modifications advised by Stefan
Pierre Courtieu
2005-02-17
*
debugging the new holes-mode for fsf emacs. Keyboard shortcuts was
Pierre Courtieu
2005-02-16
*
Modified holes doc string to fit to new shortcut of holes-mode.
Pierre Courtieu
2005-02-15
*
Finished making holes.el a real minor-mode. There is a new file
Pierre Courtieu
2005-02-15
*
cleaning holes.el. All functions are prefixed with "holes-". Also
Pierre Courtieu
2005-02-14
*
Starting to clean holes.el following Stefan Monnier's advices. Making
Pierre Courtieu
2005-02-14
*
Documentation.
David Aspinall
2004-10-05
*
New files.
David Aspinall
2004-08-25
*
Renamed file
David Aspinall
2004-08-25
*
New files.
David Aspinall
2004-08-25
*
Renamed file
David Aspinall
2004-08-25
*
Revert to version distributed with GNU Emacs and XEmacs, but patched
David Aspinall
2004-08-25
*
Renamed file
David Aspinall
2004-08-25
*
New files.
David Aspinall
2004-08-25