diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-12-02 23:49:10 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-12-02 23:49:10 +0000 |
commit | 2902fd85474038f98f7343622c4982c5e2f8efe8 (patch) | |
tree | 97ee0dbe62718614e8b1f233e33ad07316928e03 /isar | |
parent | eb653da33773e3a4d9d46ee098ebb57dfc7f9090 (diff) |
Fix compile error (isar-prog-args unknown).
Diffstat (limited to 'isar')
-rw-r--r-- | isar/isabelle-system.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el index 1cadc1a2..f66e41ba 100644 --- a/isar/isabelle-system.el +++ b/isar/isabelle-system.el @@ -19,6 +19,7 @@ (require 'scomint) (require 'proof-site) (require 'proof-menu) + (proof-ready-for-assistant 'isar) ; compile for isar (defvar proof-assistant-menu nil)) |