| Age | Commit message (Expand) | Author |
|---|
| 2008-01-16 | Updated. | David Aspinall |
| 2008-01-15 | Many compatibility updates, bug fixes, rearrangements for compilation. | David Aspinall |
| 2008-01-14 | Remove font lock settings for now | David Aspinall |
| 2008-01-13 | New files. | David Aspinall |
| 2008-01-03 | Fixed abbrev installation. + small fixes. | Pierre Courtieu |
| 2007-12-14 | Allow blank lines in quoted regions again. | David Aspinall |
| 2007-12-14 | Fix matching of quoted regions with empty lines | David Aspinall |
| 2007-12-14 | Remove eval-when, seems unreliable | David Aspinall |
| 2007-12-14 | Comments. | David Aspinall |
| 2007-12-14 | Add eval-when | David Aspinall |
| 2007-12-13 | Improvements (widget sketch; modeline). Logic still faulty. | David Aspinall |
| 2007-12-13 | holes-skeleton-end-hook: no action if mmm-inside-insert-by-key bound | David Aspinall |
| 2007-12-12 | Maths menu convenience | David Aspinall |
| 2007-12-12 | Tune compatibility | David Aspinall |
| 2007-12-10 | Cleanup | David Aspinall |
| 2007-12-10 | Fix parens | David Aspinall |
| 2007-12-10 | texi-docstring-magic-insert-magic: fix for GNU Emacs name: function-called-at... | David Aspinall |
| 2007-12-10 | span-give-warning: consistency with span-overlay.el | David Aspinall |
| 2007-08-19 | Avoid compilation error | David Aspinall |
| 2007-05-11 | Renamed file | David Aspinall |
| 2007-05-10 | Emulate find-coding-system for GNU Emacs | David Aspinall |
| 2007-01-20 | Patch x-symbol problem with XEmacs beta | David Aspinall |
| 2006-12-19 | Support older version of define-minor-mode | David Aspinall |
| 2006-10-27 | Rationalise testing for different values of window-system, to/and support mor... | David Aspinall |
| 2006-09-24 | Tweaks to buffer history mode. Still intermediate version. | David Aspinall |
| 2006-09-24 | Add buffer history browsing | David Aspinall |
| 2006-09-22 | Fix typo. | David Aspinall |
| 2006-09-22 | Add workaround for GNU Emacs problems in easymenu-add. | David Aspinall |
| 2006-08-23 | sit-for is indeed in subr.el, must be careful to load right | David Aspinall |
| 2006-08-23 | Compatibility for GNU Emacs CVS losing sit-for | David Aspinall |
| 2006-08-23 | Comments and docstring fixes in lib and generic. | Pierre Courtieu |
| 2006-08-21 | Started the coq-insert-tactic. | Pierre Courtieu |
| 2006-08-17 | continue on the support for local variables list semi-automatic | Pierre Courtieu |
| 2006-01-10 | commit of a small patch from Stefan Monnier, to fix a small bug of | Pierre Courtieu |
| 2005-09-30 | Updated. | David Aspinall |
| 2005-09-30 | Renamed file | David Aspinall |
| 2005-09-30 | Renamed file | David Aspinall |
| 2005-09-30 | Comments. | David Aspinall |
| 2005-09-27 | Compatibility 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-17 | Deleted file | David Aspinall |
| 2005-03-10 | debugging and cleaning of holes.el. | Pierre Courtieu |
| 2005-03-08 | small modifications, updating doc string of holes.el. | Pierre Courtieu |
| 2005-03-08 | making holes.el cleaner, with the help of Stefan Monnier. I had to | Pierre Courtieu |
| 2005-03-01 | cleaning holes.el, starting to making it compatible with skeletons. | Pierre Courtieu |
| 2005-03-01 | debugging of holes.el. | Pierre Courtieu |
| 2005-02-21 | Debugging holes.el, starting trying to use skeletons. | Pierre Courtieu |
| 2005-02-21 | Cleaning file holes.el (tab-width, docstring etc). | Pierre Courtieu |
| 2005-02-17 | Updated the doc for new pg/coq. Made modifications advised by Stefan | Pierre Courtieu |
| 2005-02-16 | debugging the new holes-mode for fsf emacs. Keyboard shortcuts was | Pierre Courtieu |
