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
*
(fixes last commit) Added a command to send Queries to coq, with completion (...
Pierre Courtieu
2015-03-13
*
Small fix in holes code.
Pierre Courtieu
2012-09-19
*
Summary: Don't quote lambda expressions
Stefan Monnier
2012-08-30
*
Rearrange for scoping
David Aspinall
2009-09-06
*
Add menu moved from Coq menu. Make deactivating holes-mode forget all holes.
David Aspinall
2009-09-06
*
Make holes-abbrev-complete obey status of minor mode.
David Aspinall
2009-09-06
*
Cleanup code and use define-minor-mode.
David Aspinall
2009-09-06
*
Tidy whitespace
David Aspinall
2009-09-05
*
Made indentation optional when replaing # by holes.
Pierre Courtieu
2009-01-14
*
Fixing parenthesis not accepted by recent emacs anymore. fix by Stefan
Pierre Courtieu
2008-10-22
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Changed the main menu of coq. Changed a shortcut for holes.
Pierre Courtieu
2008-07-21
*
Fix RCS tags
David Aspinall
2008-01-30
*
Don't give error when loaded during "make doc" with old emacs version
David Aspinall
2008-01-28
*
Many compatibility updates, bug fixes, rearrangements for compilation.
David Aspinall
2008-01-15
*
Fixed abbrev installation. + small fixes.
Pierre Courtieu
2008-01-03
*
holes-skeleton-end-hook: no action if mmm-inside-insert-by-key bound
David Aspinall
2007-12-13
*
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