aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/holes.el
Commit message (Expand)AuthorAge
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Remove mmm and ML4PG contribs and remove references to them in code and docsGravatar Paul Steckler2017-05-24
* Fix incorrect uses of defvarGravatar Clément Pit--Claudel2017-03-08
* (fixes last commit) Added a command to send Queries to coq, with completion (...Gravatar Pierre Courtieu2015-03-13
* Small fix in holes code.Gravatar Pierre Courtieu2012-09-19
* Summary: Don't quote lambda expressionsGravatar Stefan Monnier2012-08-30
* Rearrange for scopingGravatar David Aspinall2009-09-06
* Add menu moved from Coq menu. Make deactivating holes-mode forget all holes.Gravatar David Aspinall2009-09-06
* Make holes-abbrev-complete obey status of minor mode.Gravatar David Aspinall2009-09-06
* Cleanup code and use define-minor-mode.Gravatar David Aspinall2009-09-06
* Tidy whitespaceGravatar David Aspinall2009-09-05
* Made indentation optional when replaing # by holes.Gravatar Pierre Courtieu2009-01-14
* Fixing parenthesis not accepted by recent emacs anymore. fix by StefanGravatar Pierre Courtieu2008-10-22
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Changed the main menu of coq. Changed a shortcut for holes.Gravatar Pierre Courtieu2008-07-21
* Fix RCS tagsGravatar David Aspinall2008-01-30
* Don't give error when loaded during "make doc" with old emacs versionGravatar David Aspinall2008-01-28
* Many compatibility updates, bug fixes, rearrangements for compilation.Gravatar David Aspinall2008-01-15
* Fixed abbrev installation. + small fixes.Gravatar Pierre Courtieu2008-01-03
* holes-skeleton-end-hook: no action if mmm-inside-insert-by-key boundGravatar David Aspinall2007-12-13
* Started the coq-insert-tactic.Gravatar Pierre Courtieu2006-08-21
* commit of a small patch from Stefan Monnier, to fix a small bug ofGravatar Pierre Courtieu2006-01-10
* debugging and cleaning of holes.el.Gravatar Pierre Courtieu2005-03-10
* small modifications, updating doc string of holes.el.Gravatar Pierre Courtieu2005-03-08
* making holes.el cleaner, with the help of Stefan Monnier. I had toGravatar Pierre Courtieu2005-03-08
* cleaning holes.el, starting to making it compatible with skeletons.Gravatar Pierre Courtieu2005-03-01
* debugging of holes.el.Gravatar Pierre Courtieu2005-03-01
* Debugging holes.el, starting trying to use skeletons.Gravatar Pierre Courtieu2005-02-21
* Cleaning file holes.el (tab-width, docstring etc).Gravatar Pierre Courtieu2005-02-21
* Updated the doc for new pg/coq. Made modifications advised by StefanGravatar Pierre Courtieu2005-02-17
* debugging the new holes-mode for fsf emacs. Keyboard shortcuts wasGravatar Pierre Courtieu2005-02-16
* Modified holes doc string to fit to new shortcut of holes-mode.Gravatar Pierre Courtieu2005-02-15
* Finished making holes.el a real minor-mode. There is a new fileGravatar Pierre Courtieu2005-02-15
* cleaning holes.el. All functions are prefixed with "holes-". AlsoGravatar Pierre Courtieu2005-02-14
* Starting to clean holes.el following Stefan Monnier's advices. MakingGravatar Pierre Courtieu2005-02-14
* Renamed fileGravatar David Aspinall2004-08-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 09:53:38 +0000