aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* CleanupGravatar David Aspinall2007-12-10
* Fix parensGravatar David Aspinall2007-12-10
* texi-docstring-magic-insert-magic: fix for GNU Emacs name: function-called-at...Gravatar David Aspinall2007-12-10
* span-give-warning: consistency with span-overlay.elGravatar David Aspinall2007-12-10
* Avoid compilation errorGravatar David Aspinall2007-08-19
* Renamed fileGravatar David Aspinall2007-05-11
* Emulate find-coding-system for GNU EmacsGravatar David Aspinall2007-05-10
* Patch x-symbol problem with XEmacs betaGravatar David Aspinall2007-01-20
* Support older version of define-minor-modeGravatar David Aspinall2006-12-19
* Rationalise testing for different values of window-system, to/and support mor...Gravatar David Aspinall2006-10-27
* Tweaks to buffer history mode. Still intermediate version.Gravatar David Aspinall2006-09-24
* Add buffer history browsingGravatar David Aspinall2006-09-24
* Fix typo.Gravatar David Aspinall2006-09-22
* Add workaround for GNU Emacs problems in easymenu-add.Gravatar David Aspinall2006-09-22
* sit-for is indeed in subr.el, must be careful to load rightGravatar David Aspinall2006-08-23
* Compatibility for GNU Emacs CVS losing sit-forGravatar David Aspinall2006-08-23
* Comments and docstring fixes in lib and generic.Gravatar Pierre Courtieu2006-08-23
* Started the coq-insert-tactic.Gravatar Pierre Courtieu2006-08-21
* continue on the support for local variables list semi-automaticGravatar Pierre Courtieu2006-08-17
* commit of a small patch from Stefan Monnier, to fix a small bug ofGravatar Pierre Courtieu2006-01-10
* Updated.Gravatar David Aspinall2005-09-30
* Renamed fileGravatar David Aspinall2005-09-30
* Renamed fileGravatar David Aspinall2005-09-30
* Comments.Gravatar David Aspinall2005-09-30
* Compatibility in proof-buffer-syntactic-context for XEmacs 21.5. Buffer tabs...Gravatar David Aspinall2005-09-27
* - Remove wrong docstring on make-detached-span.Gravatar David Aspinall2005-05-17
* Deleted fileGravatar David Aspinall2005-05-17
* 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
* Documentation.Gravatar David Aspinall2004-10-05
* New files.Gravatar David Aspinall2004-08-25
* Renamed fileGravatar David Aspinall2004-08-25
* New files.Gravatar David Aspinall2004-08-25
* Renamed fileGravatar David Aspinall2004-08-25
* Revert to version distributed with GNU Emacs and XEmacs, but patchedGravatar David Aspinall2004-08-25
* Renamed fileGravatar David Aspinall2004-08-25
* New files.Gravatar David Aspinall2004-08-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 08:32:10 +0000