| Age | Commit message (Expand) | Author |
|---|---|---|
| 2005-02-16 | debugging the new holes-mode for fsf emacs. Keyboard shortcuts was | Pierre Courtieu |
| 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 |
| 2005-02-14 | cleaning holes.el. All functions are prefixed with "holes-". Also | Pierre Courtieu |
| 2005-02-14 | Starting to clean holes.el following Stefan Monnier's advices. Making | Pierre Courtieu |
| 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 |
| 2004-08-25 | Renamed file | David Aspinall |
| 2004-08-25 | New files. | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |