| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |
| * | Finished making holes.el a real minor-mode. There is a new file | Pierre Courtieu | 2005-02-15 |
| * | 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 | 2005-02-14 |
| * | Documentation. |  David Aspinall | 2004-10-05 |
| * | 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 | 2004-08-25 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |