index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
isa
/
thy-mode.el
Commit message (
Expand
)
Author
Age
*
Comment.
David Aspinall
2004-04-13
*
Fix comment.
David Aspinall
2004-04-13
*
Fix long-lived typo in setting auto-mode-alist.
David Aspinall
2004-04-13
*
Update email and web addresses
David Aspinall
2004-02-08
*
Remove proof-shared-menu.
David Aspinall
2002-08-08
*
Move auto-mode-alist hack here now Isar is default.
David Aspinall
2002-06-24
*
GPL update
David Aspinall
2002-06-21
*
Fix for names of functions in proof-depends
David Aspinall
2001-08-31
*
Added Fiona's changes.
David Aspinall
2000-08-14
*
Added proof-next-error to menu.
David Aspinall
2000-06-05
*
Expanded menu
David Aspinall
2000-05-05
*
Added menu item to switch to script buffer, C-c C-o key.
David Aspinall
2000-03-10
*
Change SML minor mode binding to C-c C-m, avoiding clash with
David Aspinall
1999-11-29
*
Made thy-indent-level a user opt.
David Aspinall
1999-11-24
*
More highlighting
David Aspinall
1999-11-14
*
More theory file sections
David Aspinall
1999-11-12
*
Changed read-no-blanks-input to read-string, former is defunct.
David Aspinall
1999-01-12
*
Docstring tweak
David Aspinall
1998-12-15
*
Documentation improvements.
David Aspinall
1998-11-25
*
Docstring fixes, minor improvements.
David Aspinall
1998-11-25
*
Docstring fixes
David Aspinall
1998-11-25
*
Added Proof General menu to theory file mode.
David Aspinall
1998-11-18
*
Disabled problematic requires temporarily.
David Aspinall
1998-11-10
*
Fixes for byte compilations and missing bits of Isamode.
David Aspinall
1998-11-10
*
Removed superfluous variable. Improved docstrings.
David Aspinall
1998-11-09
*
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