| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | XEmacs 21.4.15 does not seem to know propertize |  weber | 2007-05-17 |
| | | |||
| * | Fix rename | weber | 2007-05-11 |
| | | |||
| * | Fix rename | weber | 2007-05-11 |
| | | |||
| * | works with XEmacs now (ticket #115) | weber | 2007-05-11 |
| | | |||
| * | Fix rename |  David Aspinall | 2007-05-11 |
| | | |||
| * | Renamed file | David Aspinall | 2007-05-11 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |