From 3405f9345b26374d3593244204efbc8364c7d53f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 23 Jul 2004 13:30:18 +0000
Subject: Fix display_drafts -> print_drafts

---
 isar/isar.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)])
 
-- 
cgit v1.2.3