 
 (defvar why-font-lock-keywords why-font-lock-keywords-1
   "Default highlighting for Why mode")
+
+(defvar why-indent 2
+  "How many spaces to indent in why mode.")
+(make-variable-buffer-local 'why-indent)
 
 ;; syntax
 

     ))
  (easy-menu-add why-mode-menu))

;; setting the mode

(defun why-mode ()

  (make-local-variable 'font-lock-defaults)
  (setq font-lock-defaults '(why-font-lock-keywords))
  ; indentation
  (make-local-variable 'indent-line-function)
  (setq indent-line-function 'why-indent-line)
  ; menu
  ; providing the mode
  (setq major-mode 'why-mode)
