| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 |