Searched +defs:mode +defs:name (Results 1 - 6 of 6) sorted by relevance

/hets/utils/el/
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...]
/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 Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...
H A Dguava-18.0.jar ... AbstractIterator$State valueOf (java.lang.String) String name private void " href="/source/s?defs=% ...

Completed in 1479 milliseconds