aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa/thy-mode.el
Commit message (Expand)AuthorAge
* Comment.Gravatar David Aspinall2004-04-13
* Fix comment.Gravatar David Aspinall2004-04-13
* Fix long-lived typo in setting auto-mode-alist.Gravatar David Aspinall2004-04-13
* Update email and web addressesGravatar David Aspinall2004-02-08
* Remove proof-shared-menu.Gravatar David Aspinall2002-08-08
* Move auto-mode-alist hack here now Isar is default.Gravatar David Aspinall2002-06-24
* GPL updateGravatar David Aspinall2002-06-21
* Fix for names of functions in proof-dependsGravatar David Aspinall2001-08-31
* Added Fiona's changes.Gravatar David Aspinall2000-08-14
* Added proof-next-error to menu.Gravatar David Aspinall2000-06-05
* Expanded menuGravatar David Aspinall2000-05-05
* Added menu item to switch to script buffer, C-c C-o key.Gravatar David Aspinall2000-03-10
* Change SML minor mode binding to C-c C-m, avoiding clash withGravatar David Aspinall1999-11-29
* Made thy-indent-level a user opt.Gravatar David Aspinall1999-11-24
* More highlightingGravatar David Aspinall1999-11-14
* More theory file sectionsGravatar David Aspinall1999-11-12
* Changed read-no-blanks-input to read-string, former is defunct.Gravatar David Aspinall1999-01-12
* Docstring tweakGravatar David Aspinall1998-12-15
* Documentation improvements.Gravatar David Aspinall1998-11-25
* Docstring fixes, minor improvements.Gravatar David Aspinall1998-11-25
* Docstring fixesGravatar David Aspinall1998-11-25
* Added Proof General menu to theory file mode.Gravatar David Aspinall1998-11-18
* Disabled problematic requires temporarily.Gravatar David Aspinall1998-11-10
* Fixes for byte compilations and missing bits of Isamode.Gravatar David Aspinall1998-11-10
* Removed superfluous variable. Improved docstrings.Gravatar David Aspinall1998-11-09
* Added prefix arg to thy-find-other-file to use same windowGravatar David Aspinall1998-11-06
* Reimplemented thy-find-other-fileGravatar David Aspinall1998-11-04
* Begun work on clean byte compilation / clarifying interfaces.Gravatar David Aspinall1998-10-27
* Removed Isamode-specific keybindingsGravatar David Aspinall1998-10-26
* Added new theory file sectionsGravatar David Aspinall1998-10-23
* Customization for multiple filesGravatar David Aspinall1998-10-19
* Renamed isa-thy-* to thy-*Gravatar David Aspinall1998-10-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-17 02:02:38 +0000