aboutsummaryrefslogtreecommitdiff
path: root/isa/thy-mode.el
AgeCommit message (Expand)Author
2000-08-14Added Fiona's changes.David Aspinall
2000-06-05Added proof-next-error to menu.David Aspinall
2000-05-05Expanded menuDavid Aspinall
2000-03-10Added menu item to switch to script buffer, C-c C-o key.David Aspinall
1999-11-29Change SML minor mode binding to C-c C-m, avoiding clash withDavid Aspinall
1999-11-24Made thy-indent-level a user opt.David Aspinall
1999-11-14More highlightingDavid Aspinall
1999-11-12More theory file sectionsDavid Aspinall
1999-01-12Changed read-no-blanks-input to read-string, former is defunct.David Aspinall
1998-12-15Docstring tweakDavid Aspinall
1998-11-25Documentation improvements.David Aspinall
1998-11-25Docstring fixes, minor improvements.David Aspinall
1998-11-25Docstring fixesDavid Aspinall
1998-11-18Added Proof General menu to theory file mode.David Aspinall
1998-11-10Disabled problematic requires temporarily.David Aspinall
1998-11-10Fixes for byte compilations and missing bits of Isamode.David Aspinall
1998-11-09Removed superfluous variable. Improved docstrings.David Aspinall
1998-11-06Added prefix arg to thy-find-other-file to use same windowDavid Aspinall
1998-11-04Reimplemented thy-find-other-fileDavid Aspinall
1998-10-27Begun work on clean byte compilation / clarifying interfaces.David Aspinall
1998-10-26Removed Isamode-specific keybindingsDavid Aspinall
1998-10-23Added new theory file sectionsDavid Aspinall
1998-10-19Customization for multiple filesDavid Aspinall
1998-10-07Renamed isa-thy-* to thy-*David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-11 15:00:52 +0000