aboutsummaryrefslogtreecommitdiff
path: root/lib/holes.el
AgeCommit message (Expand)Author
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2017-05-24Remove mmm and ML4PG contribs and remove references to them in code and docsPaul Steckler
2017-03-08Fix incorrect uses of defvarClément Pit--Claudel
2015-03-13(fixes last commit) Added a command to send Queries to coq, with completion (...Pierre Courtieu
2012-09-19Small fix in holes code.Pierre Courtieu
2012-08-30Summary: Don't quote lambda expressionsStefan Monnier
2009-09-06Rearrange for scopingDavid Aspinall
2009-09-06Add menu moved from Coq menu. Make deactivating holes-mode forget all holes.David Aspinall
2009-09-06Make holes-abbrev-complete obey status of minor mode.David Aspinall
2009-09-06Cleanup code and use define-minor-mode.David Aspinall
2009-09-05Tidy whitespaceDavid Aspinall
2009-01-14Made indentation optional when replaing # by holes.Pierre Courtieu
2008-10-22Fixing parenthesis not accepted by recent emacs anymore. fix by StefanPierre Courtieu
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-21Changed the main menu of coq. Changed a shortcut for holes.Pierre Courtieu
2008-01-30Fix RCS tagsDavid Aspinall
2008-01-28Don't give error when loaded during "make doc" with old emacs versionDavid Aspinall
2008-01-15Many compatibility updates, bug fixes, rearrangements for compilation.David Aspinall
2008-01-03Fixed abbrev installation. + small fixes.Pierre Courtieu
2007-12-13holes-skeleton-end-hook: no action if mmm-inside-insert-by-key boundDavid Aspinall
2006-08-21Started the coq-insert-tactic.Pierre Courtieu
2006-01-10commit of a small patch from Stefan Monnier, to fix a small bug ofPierre Courtieu
2005-03-10debugging and cleaning of holes.el.Pierre Courtieu
2005-03-08small modifications, updating doc string of holes.el.Pierre Courtieu
2005-03-08making holes.el cleaner, with the help of Stefan Monnier. I had toPierre Courtieu
2005-03-01cleaning holes.el, starting to making it compatible with skeletons.Pierre Courtieu
2005-03-01debugging of holes.el.Pierre Courtieu
2005-02-21Debugging holes.el, starting trying to use skeletons.Pierre Courtieu
2005-02-21Cleaning file holes.el (tab-width, docstring etc).Pierre Courtieu
2005-02-17Updated the doc for new pg/coq. Made modifications advised by StefanPierre Courtieu
2005-02-16debugging the new holes-mode for fsf emacs. Keyboard shortcuts wasPierre Courtieu
2005-02-15Modified holes doc string to fit to new shortcut of holes-mode.Pierre Courtieu
2005-02-15Finished making holes.el a real minor-mode. There is a new filePierre Courtieu
2005-02-14cleaning holes.el. All functions are prefixed with "holes-". AlsoPierre Courtieu
2005-02-14Starting to clean holes.el following Stefan Monnier's advices. MakingPierre Courtieu
2004-08-25Renamed fileDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:38:20 +0000