| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Fix compile errors |  David Aspinall | 2009-09-15 |
| * | Clean whitespace | David Aspinall | 2009-09-05 |
| * | 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 |