casl.el revision dd7c739b90110aeb5cb3bc91922e95131014d948
dd7c739b90110aeb5cb3bc91922e95131014d948Heng Jiang;; Files whose extension is .casl or .het will be edited in CASL mode
dd7c739b90110aeb5cb3bc91922e95131014d948Heng Jiang(setq hets-program "/home/jiang/CASL/HetCATS/hets")