| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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: ↵ | David Aspinall | |
| function-called-at-point | |||
| 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 ↵ | David Aspinall | |
| more Emacs ports easily | |||
| 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 | |
| libraries... | |||
| 2006-08-23 | Compatibility for GNU Emacs CVS losing sit-for | David Aspinall | |
| (this will break much code, isn't it in some .el file?) | |||
| 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 | |
| insertion. I put a new file in lib with basic tools for file variables lists. | |||
| 2006-01-10 | commit of a small patch from Stefan Monnier, to fix a small bug of | Pierre Courtieu | |
| drag-mouse-region with holes. | |||
| 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 ↵ | David Aspinall | |
| tabs hack. | |||
| 2005-05-17 | - Remove wrong docstring on make-detached-span. | David Aspinall | |
| - Basically rewrite span-overlay.el to better use the built-in overlay facilities. - Complain about the namespace pollution in span*.el. | |||
| 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 | |
| adapt coq.el to these modifications. | |||
| 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 | |
| Monnier on holes.el. | |||
| 2005-02-16 | debugging the new holes-mode for fsf emacs. Keyboard shortcuts was | Pierre Courtieu | |
| badly defined. | |||
| 2005-02-15 | Modified holes doc string to fit to new shortcut of holes-mode. | Pierre Courtieu | |
| 2005-02-15 | Finished making holes.el a real minor-mode. There is a new file | Pierre Courtieu | |
| holes-load.el which defines the autoloads (enough of them?). All functions have the prefix "holes-", and offending keyboard shortcuts have been either removed or bound to the minor mode. I made holes-mode minor mode automatically turned on in all proof buffers in coq mode (including shell, script and response buffers as it may be useful to copy paste parts of this buffers into holes). | |||
| 2005-02-14 | cleaning holes.el. All functions are prefixed with "holes-". Also | Pierre Courtieu | |
| modified coq.el and coq-abbrev.el accordingly. | |||
| 2005-02-14 | Starting to clean holes.el following Stefan Monnier's advices. Making | Pierre Courtieu | |
| holes a real minor-mode. | |||
| 2004-10-05 | Documentation. | David Aspinall | |
| 2004-08-25 | New files. | David Aspinall | |
| 2004-08-25 | Renamed file | David Aspinall | |
| 2004-08-25 | New files. | David Aspinall | |
| 2004-08-25 | Renamed file | David Aspinall | |
| 2004-08-25 | Revert to version distributed with GNU Emacs and XEmacs, but patched | David Aspinall | |
| for empty tag parse bug. | |||
| 2004-08-25 | Renamed file | David Aspinall | |
| 2004-08-25 | New files. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |