diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-06 19:44:38 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-06 19:44:38 +0000 |
| commit | 6ca6528ddd308a7944e1d047711e79f7ef7efebc (patch) | |
| tree | e33897dc59460a8ab1953c21bbcd41aec9f960cf /hol98 | |
| parent | 17d6541cc976065da53cf4ff372c72fa59713114 (diff) | |
Prevent compile warnings
Diffstat (limited to 'hol98')
| -rw-r--r-- | hol98/hol98.el | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/hol98/hol98.el b/hol98/hol98.el index 57172649..fa888feb 100644 --- a/hol98/hol98.el +++ b/hol98/hol98.el @@ -14,6 +14,11 @@ (require 'proof-easy-config) ; easy configure mechanism (require 'proof-syntax) ; functions for making regexps +(defvar hol98-keywords nil) +(defvar hol98-rules nil) +(defvar hol98-tactics nil) +(defvar hol98-tacticals nil) + (proof-easy-config 'hol98 "HOL" proof-prog-name "hol.unquote" proof-terminal-char ?\; |