Searched defs:other (Results 1 - 8 of 8) sorted by relevance

/hets/utils/el/
H A Dhpf-mode.el48 ;; commenting-out plus including other kinds of comment
99 (defvar hpf-other-name-face 'hpf-other-name-face)
101 (setq hpf-other-name-face 'hpf-blue-komma-face)
102 (setq hpf-other-name-face 'font-lock-function-name-face)
137 (3 (symbol-value 'hpf-other-name-face) keep t)
138 (5 (symbol-value 'hpf-other-name-face) keep t)
139 (7 (symbol-value 'hpf-other-name-face) keep t))
153 (2 (symbol-value 'hpf-other-name-face) keep t))
159 (3 (symbol-value 'hpf-other
[all...]
H A Dcasl-mode.el54 ;; commenting-out plus including other kinds of comment
135 (defvar casl-other-name-face 'casl-other-name-face)
137 (setq casl-other-name-face 'casl-blue-komma-face)
138 (setq casl-other-name-face 'font-lock-function-name-face)
220 (2 (symbol-value 'casl-other-name-face) keep t))
223 (2 (symbol-value 'casl-other-name-face) keep t)
224 (3 (symbol-value 'casl-other-name-face) keep t))
227 (0 (symbol-value 'casl-other-name-face) keep t))
230 (1 (symbol-value 'casl-other
[all...]
H A Ddol-mode.el54 ;; commenting-out plus including other kinds of comment
135 (defvar dol-other-name-face 'dol-other-name-face)
137 (setq dol-other-name-face 'dol-blue-komma-face)
138 (setq dol-other-name-face 'font-lock-function-name-face)
220 (2 (symbol-value 'dol-other-name-face) keep t))
223 (2 (symbol-value 'dol-other-name-face) keep t)
224 (3 (symbol-value 'dol-other-name-face) keep t))
227 (0 (symbol-value 'dol-other-name-face) keep t))
230 (1 (symbol-value 'dol-other
[all...]
H A Dcasl-indent.el227 ( t 'other))
274 (if (or (eq type 'ident) (eq type 'other)) ; possible start of a value def
283 (setq valname (point)) ; type = other
287 (or (eq type 'ident) (eq type 'other)))
515 (defun casl-indent-other (start end end-visible indent-info)
516 "Finds indentation points for a non-empty line starting with something other
561 (t (error "casl-indent-other: %s impossible case" test ))))))
574 ('other (casl-indent-other start end end-visible indent-info)))
695 Any other ke
[all...]
/hets/OWL2/java/lib/
H A Dtrove4j-3.0.3.jarMETA-INF/ META-INF/MANIFEST.MF gnu/ gnu/trove/ gnu/trove/decorator/ gnu/trove/function/ gnu/ ...
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.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 4830 milliseconds