| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |
| * | Renamed file |  David Aspinall | 2004-08-25 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |