aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
2006-08-23sit-for is indeed in subr.el, must be careful to load rightDavid Aspinall
2006-08-23Compatibility for GNU Emacs CVS losing sit-forDavid Aspinall
2006-08-23Comments and docstring fixes in lib and generic.Pierre Courtieu
2006-08-21Started the coq-insert-tactic.Pierre Courtieu
2006-08-17continue on the support for local variables list semi-automaticPierre Courtieu
2006-01-10commit of a small patch from Stefan Monnier, to fix a small bug ofPierre Courtieu
2005-09-30Updated.David Aspinall
2005-09-30Renamed fileDavid Aspinall
2005-09-30Renamed fileDavid Aspinall
2005-09-30Comments.David Aspinall
2005-09-27Compatibility in proof-buffer-syntactic-context for XEmacs 21.5. Buffer tabs...David Aspinall
2005-05-17- Remove wrong docstring on make-detached-span.David Aspinall
2005-05-17Deleted fileDavid Aspinall
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-10-05Documentation.David Aspinall
2004-08-25New files.David Aspinall
2004-08-25Renamed fileDavid Aspinall
2004-08-25New files.David Aspinall
2004-08-25Renamed fileDavid Aspinall
2004-08-25Revert to version distributed with GNU Emacs and XEmacs, but patchedDavid Aspinall
2004-08-25Renamed fileDavid Aspinall
2004-08-25New files.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:00:04 +0000