casl.el revision dd7c739b90110aeb5cb3bc91922e95131014d948
;; Files whose extension is .casl or .het will be edited in CASL mode
(setq hets-program "/home/jiang/CASL/HetCATS/hets")
(setq load-path
(append '("/home/jiang/CASL/HetCATS/utils/el") load-path))
(setq auto-mode-alist
(append
'(("\\.casl\\'" . casl-mode))
'(("\\.het\\'" . casl-mode))
auto-mode-alist))