diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2006-12-20 15:18:12 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2006-12-20 15:18:12 +0000 |
commit | 84e2c1e93d5b55f3746c0ddd408dab13134a9b2d (patch) | |
tree | a34bcb3acb340d2db1cacc46a0fd3dd73f6308a7 /doc/docstring-magic.el | |
parent | b0d222ebf1f0496cf9277a7bed012b6feb97fc62 (diff) |
Remove thy-mode from isa
Diffstat (limited to 'doc/docstring-magic.el')
-rw-r--r-- | doc/docstring-magic.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/docstring-magic.el b/doc/docstring-magic.el index 45822b4d..0d45dea2 100644 --- a/doc/docstring-magic.el +++ b/doc/docstring-magic.el @@ -54,7 +54,6 @@ ;; These next few are autoloaded usually -(load "thy-mode.el") (load "proof-menu.el") (load "proof-toolbar.el") (load "proof-script.el") |