| Age | Commit message (Expand) | Author |
|---|---|---|
| 1998-11-25 | Documentation improvements. | David Aspinall |
| 1998-11-25 | Docstring fixes, minor improvements. | David Aspinall |
| 1998-11-25 | Docstring fixes | David Aspinall |
| 1998-11-18 | Added Proof General menu to theory file mode. | David Aspinall |
| 1998-11-10 | Disabled problematic requires temporarily. | David Aspinall |
| 1998-11-10 | Fixes for byte compilations and missing bits of Isamode. | David Aspinall |
| 1998-11-09 | Removed superfluous variable. Improved docstrings. | David Aspinall |
| 1998-11-06 | Added prefix arg to thy-find-other-file to use same window | David Aspinall |
| 1998-11-04 | Reimplemented thy-find-other-file | David Aspinall |
| 1998-10-27 | Begun work on clean byte compilation / clarifying interfaces. | David Aspinall |
| 1998-10-26 | Removed Isamode-specific keybindings | David Aspinall |
| 1998-10-23 | Added new theory file sections | David Aspinall |
| 1998-10-19 | Customization for multiple files | David Aspinall |
| 1998-10-07 | Renamed isa-thy-* to thy-* | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |