diff options
| author | David Aspinall | 2001-08-31 11:35:40 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-31 11:35:40 +0000 |
| commit | d0207d709da0a25eb011efc9113b55045dbafd4d (patch) | |
| tree | c3f672ca91499e6e1dfb4016539e571daa883bb9 | |
| parent | 2fd0b8278f0c455e07bdba83cd5299589ad9c847 (diff) | |
Fix for names of functions in proof-depends
| -rw-r--r-- | isa/thy-mode.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isa/thy-mode.el b/isa/thy-mode.el index 02785018..07e0ca54 100644 --- a/isa/thy-mode.el +++ b/isa/thy-mode.el @@ -215,7 +215,7 @@ You can use the following format characters: (if file (progn (easy-menu-remove thy-mode-deps-menu) - (thy-menu-define-deps file) + (proof-thy-menu-define-deps file) (easy-menu-add thy-mode-deps-menu thy-mode-map)))) |