| Commit message (Expand) | Author | Age |
... | |
* | Many compatibility updates, bug fixes, rearrangements for compilation. | David Aspinall | 2008-01-15 |
* | Remove font lock settings for now | David Aspinall | 2008-01-14 |
* | New files. | David Aspinall | 2008-01-13 |
* | Fixed abbrev installation. + small fixes. | Pierre Courtieu | 2008-01-03 |
* | 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-14 |
* | 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-13 |
* | Maths menu convenience | David Aspinall | 2007-12-12 |
* | Tune compatibility | David Aspinall | 2007-12-12 |
* | 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-12-10 |
* | Avoid compilation error | David Aspinall | 2007-08-19 |
* | Renamed file | David Aspinall | 2007-05-11 |
* | Emulate find-coding-system for GNU Emacs | David Aspinall | 2007-05-10 |
* | Patch x-symbol problem with XEmacs beta | David Aspinall | 2007-01-20 |
* | Support older version of define-minor-mode | David Aspinall | 2006-12-19 |
* | Rationalise testing for different values of window-system, to/and support mor... | David Aspinall | 2006-10-27 |
* | Tweaks to buffer history mode. Still intermediate version. | David Aspinall | 2006-09-24 |
* | Add buffer history browsing | David Aspinall | 2006-09-24 |
* | Fix typo. | David Aspinall | 2006-09-22 |
* | Add workaround for GNU Emacs problems in easymenu-add. | David Aspinall | 2006-09-22 |
* | 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-23 |
* | Started the coq-insert-tactic. | Pierre Courtieu | 2006-08-21 |
* | continue on the support for local variables list semi-automatic | Pierre Courtieu | 2006-08-17 |
* | commit of a small patch from Stefan Monnier, to fix a small bug of | Pierre Courtieu | 2006-01-10 |
* | 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-30 |
* | Compatibility in proof-buffer-syntactic-context for XEmacs 21.5. Buffer tabs... | David Aspinall | 2005-09-27 |
* | - Remove wrong docstring on make-detached-span. | David Aspinall | 2005-05-17 |
* | Deleted file | David Aspinall | 2005-05-17 |
* | debugging and cleaning of holes.el. | Pierre Courtieu | 2005-03-10 |
* | 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-08 |
* | cleaning holes.el, starting to making it compatible with skeletons. | Pierre Courtieu | 2005-03-01 |
* | debugging of holes.el. | Pierre Courtieu | 2005-03-01 |
* | 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-21 |
* | Updated the doc for new pg/coq. Made modifications advised by Stefan | Pierre Courtieu | 2005-02-17 |
* | debugging the new holes-mode for fsf emacs. Keyboard shortcuts was | Pierre Courtieu | 2005-02-16 |
* | Modified holes doc string to fit to new shortcut of holes-mode. | Pierre Courtieu | 2005-02-15 |