diff options
| author | David Aspinall | 2004-07-23 13:30:18 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-07-23 13:30:18 +0000 |
| commit | 3405f9345b26374d3593244204efbc8364c7d53f (patch) | |
| tree | 46c6e9ebe1ee6b77c45419f7f0e45be33f2a1fbf | |
| parent | 0d18d26b0467af4098d2de08cd8e4f81d490cd8b (diff) | |
Fix display_drafts -> print_drafts
| -rw-r--r-- | isar/isar.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/isar.el b/isar/isar.el index 5bbb6a6d..57bfc342 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -381,7 +381,7 @@ proof-shell-retract-files-regexp." (proof-definvisible isar-print-draft '(if (y-or-n-p (format "Print draft of file %s ?" buffer-file-name)) - (format "display_drafts \"%s\"" buffer-file-name) + (format "print_drafts \"%s\"" buffer-file-name) (error "Aborted.")) [(control p)]) |