| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Added prefix arg to thy-find-other-file to use same window |  David Aspinall | 1998-11-06 |
| * | Reimplemented thy-find-other-file | David Aspinall | 1998-11-04 |
| * | Begun work on clean byte compilation / clarifying interfaces. | David Aspinall | 1998-10-27 |
| * | Removed Isamode-specific keybindings | David Aspinall | 1998-10-26 |
| * | Added new theory file sections | David Aspinall | 1998-10-23 |
| * | Customization for multiple files | David Aspinall | 1998-10-19 |
| * | Renamed isa-thy-* to thy-* | David Aspinall | 1998-10-07 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |