aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
2007-12-12Maths menu convenienceDavid Aspinall
2007-12-12Tune compatibilityDavid Aspinall
2007-12-10CleanupDavid Aspinall
2007-12-10Fix parensDavid Aspinall
2007-12-10texi-docstring-magic-insert-magic: fix for GNU Emacs name: function-called-at...David Aspinall
2007-12-10span-give-warning: consistency with span-overlay.elDavid Aspinall
2007-08-19Avoid compilation errorDavid Aspinall
2007-05-11Renamed fileDavid Aspinall
2007-05-10Emulate find-coding-system for GNU EmacsDavid Aspinall
2007-01-20Patch x-symbol problem with XEmacs betaDavid Aspinall
2006-12-19Support older version of define-minor-modeDavid Aspinall
2006-10-27Rationalise testing for different values of window-system, to/and support mor...David Aspinall
2006-09-24Tweaks to buffer history mode. Still intermediate version.David Aspinall
2006-09-24Add buffer history browsingDavid Aspinall
2006-09-22Fix typo.David Aspinall
2006-09-22Add workaround for GNU Emacs problems in easymenu-add.David Aspinall
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:36:34 +0000