Searched defs:mode (Results 1 - 10 of 10) sorted by relevance

/hets/utils/el/
H A Dcasl.el9 (defun casl-mode-directory-fn ()
10 "Used to find casl-mode directory"
18 (setq casl-mode-directory (casl-mode-directory-fn))
20 (concat casl-mode-directory "../.."))))
33 (add-to-list 'load-path casl-mode-directory)
34 ;; Files whose extension is .casl or .het will be edited in CASL mode
35 (setq auto-mode-alist
37 '(("\\.casl\\'" . casl-mode))
38 '(("\\.het\\'" . casl-mode))
[all...]
H A Dhpf.el9 (defun hpf-mode-directory-fn ()
10 "Used to find hpf-mode directory"
18 (setq hpf-mode-directory (hpf-mode-directory-fn))
20 (add-to-list 'load-path hpf-mode-directory)
21 ;; Files whose extension is .hpf or .het will be edited in HPF mode
22 (setq auto-mode-alist
24 '(("\\.hpf\\'" . hpf-mode))
25 auto-mode-alist))
26 (autoload 'hpf-mode "hp
[all...]
H A Ddol.el9 (defun dol-mode-directory-fn ()
10 "Used to find dol-mode directory"
18 (setq dol-mode-directory (dol-mode-directory-fn))
20 (concat dol-mode-directory "../.."))))
33 (add-to-list 'load-path dol-mode-directory)
34 ;; Files whose extension is .dol or .het will be edited in DOL mode
35 (setq auto-mode-alist
37 '(("\\.dol\\'" . dol-mode))
38 '(("\\.het\\'" . dol-mode))
[all...]
H A Dhpf-mode.el11 (defconst hpf-mode-version "0.1"
15 "Major mode for editing (heterogeneous) HPF specifications."
19 (defvar hpf-mode-hook nil)
20 (defvar hpf-mode-map (let ((keymap (make-keymap)))
23 "Keymap for HPF major mode")
31 ;; Syntax table for HPF major mode
32 (defvar hpf-mode-syntax-table nil
33 "Syntax table for HPF mode.")
35 (if hpf-mode-syntax-table
49 (setq hpf-mode
[all...]
H A Dcasl-mode.el12 (defconst casl-mode-version "0.3"
16 "Major mode for editing (heterogeneous) CASL specifications."
21 (defvar casl-mode-hook nil)
22 (defvar casl-mode-map (let ((keymap (make-keymap)))
29 "Keymap for CASL major mode")
37 ;; Syntax table for CASL major mode
38 (defvar casl-mode-syntax-table nil
39 "Syntax table for CASL mode.")
41 (if casl-mode-syntax-table
74 (setq casl-mode
[all...]
H A Ddol-mode.el12 (defconst dol-mode-version "0.4"
16 "Major mode for editing (heterogeneous) DOL specifications."
21 (defvar dol-mode-hook nil)
22 (defvar dol-mode-map (let ((keymap (make-keymap)))
29 "Keymap for DOL major mode")
37 ;; Syntax table for DOL major mode
38 (defvar dol-mode-syntax-table nil
39 "Syntax table for DOL mode.")
41 (if dol-mode-syntax-table
74 (setq dol-mode
[all...]
H A Dcasl-indent.el751 ;;; the casl-mode of Graeme E Moss and Tommy Thorn
755 "Turn on ``intelligent'' casl indentation mode."
760 (setq casl-indent-mode t)
765 "Turn off ``intelligent'' casl indentation mode that deals with
770 (setq casl-indent-mode nil)
773 (defvar casl-indent-mode nil
774 "Indicates if the semi-intelligent casl indentation mode is in effect
776 (make-variable-buffer-local 'casl-indent-mode)
778 ;; Put this minor mode on the global minor-mode
[all...]
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...
/hets/OWL2/java/lib/
H A Dguava-18.0.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...

Completed in 24 milliseconds