| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Fix RCS tags |  David Aspinall | 2008-01-30 |
| | | |||
| * | PG tagline | David Aspinall | 2008-01-30 |
| | | |||
| * | Revert previous change, does not help. Solve #184 by ignoring error in ↵ | David Aspinall | 2008-01-29 |
| | | | | | Makefile. | ||
| * | Change characters in maths-menu-menu to strings, hoping to fix compile | David Aspinall | 2008-01-29 |
| | | | | | problem with older XEmacs (Trac #184). | ||
| * | Appearance is OK with NextStep Emacs.app. | David Aspinall | 2008-01-28 |
| | | |||
| * | Maths menu works OK in Carbon Emacs | David Aspinall | 2008-01-28 |
| | | |||
| * | Maths menu convenience | David Aspinall | 2007-12-12 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |