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
/
holes.el
Commit message (
Expand
)
Author
Age
*
Started the coq-insert-tactic.
Pierre Courtieu
2006-08-21
*
commit of a small patch from Stefan Monnier, to fix a small bug of
Pierre Courtieu
2006-01-10
*
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
*
Renamed file
David Aspinall
2004-08-25