aboutsummaryrefslogtreecommitdiff
path: root/lib/holes.el
AgeCommit message (Expand)Author
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-02-26 16:15:35 +0000