| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Added proof-strict-read-only, probably a handy new user-option. |  David Aspinall | 1998-11-09 |
| | | | | | | | Side effect is that it's default value of nil for FSF Emacs avoids the font lock problem with span-read-only for FSF Emacs. XEmacs does not have the warning message implemented yet. | ||
| * | Begun work on clean byte compilation / clarifying interfaces. | David Aspinall | 1998-10-27 |
| | | |||
| * | Updated maintainer tags to remove lego email address. | David Aspinall | 1998-10-01 |
| | | |||
| * | Added doc strings | David Aspinall | 1998-10-01 |
| | | |||
| * | Added Id to headers. | David Aspinall | 1998-09-09 |
| | | |||
| * | Fixup branch number | David Aspinall | 1998-09-09 |
| | | |||
| * | Renamed for new subdirectory structure | David Aspinall | 1998-09-03 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |