From 6705f896cb0fffceaab3d7b4cdb2921a70e769a2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 25 Aug 2009 11:51:02 +0000
Subject: Add menu entry for setting proof assistant command

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

(limited to 'isar')

diff --git a/isar/isar.el b/isar/isar.el
index d5d13c04..34949e3a 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -383,6 +383,8 @@ proof-shell-retract-files-regexp."
            ["inner syntax"       isar-help-syntax         t]
            ["methods"            isar-help-methods        t])))))
 
+(defalias 'isar-set-command 'isa-set-isabelle-command)
+
 (defpgdefault help-menu-entries isabelle-docs-menu)
 
 ;; undo proof commands
-- 
cgit v1.2.3