   (local-set-key "\M-e" '(lambda () (interactive) (ucs-insert #x2208)))
 )
 
-; ==================================================================
-; END WHILEY MODE
-; ==================================================================
+(provide 'whiley)
; ==================================================================
; BEGIN WHILEY MODE
; ==================================================================

(defun whiley-comment-dwim (arg)
  "Comment or uncomment current line or region in a smart way.

  (setq whiley-keywords-regexp nil)
  (setq whiley-types-regexp nil)

  ;; borrow adaptive fill for comments from cc-mode
  (substitute-key-definition 'fill-paragraph 'c-fill-paragraph
			     c-mode-base-map global-map)

  ;; java-style comments "// ..." and “/* … */” 
  (define-key whiley-mode-map [remap comment-dwim] 'whiley-comment-dwim)
  (modify-syntax-entry ?\/ ". 124b" whiley-mode-syntax-table)
  (modify-syntax-entry ?* ". 23" whiley-mode-syntax-table)
  (modify-syntax-entry ?\n "> b" whiley-mode-syntax-table)

  ;; indentation.  Needs work!
  (setq indent-tabs-mode nil)
  (local-set-key (kbd "TAB") 'tab-to-tab-stop)
  (setq tab-stop-list (list 4 8 12 16 20 24 28))  
