aboutsummaryrefslogtreecommitdiff
path: root/isa/thy-mode.el
AgeCommit message (Collapse)Author
2006-12-05Deleted fileDavid Aspinall
2004-04-13Comment.David Aspinall
2004-04-13Fix comment.David Aspinall
2004-04-13Fix long-lived typo in setting auto-mode-alist.David Aspinall
2004-02-08Update email and web addressesDavid Aspinall
2002-08-08Remove proof-shared-menu.David Aspinall
2002-06-24Move auto-mode-alist hack here now Isar is default.David Aspinall
2002-06-21GPL updateDavid Aspinall
2001-08-31Fix for names of functions in proof-dependsDavid Aspinall
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
proof-interrupt-process. Add commands from proof-universal-keys to menu, and add all of proof-shared-menu.
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-01 17:32:54 +0000