Searched +defs:buffer +defs:name (Results 1 - 5 of 5) sorted by relevance

/hets/utils/el/
H A Dcasl-mode.el114 "Face name to use for black komma.")
120 (defvar casl-name-face 'casl-name-face)
121 (setq casl-name-face 'font-lock-variable-name-face)
126 (defvar casl-library-name-face 'casl-library-name-face)
127 (setq casl-library-name-face 'font-lock-type-face)
135 (defvar casl-other-name-face 'casl-other-name
[all...]
H A Ddol-mode.el114 "Face name to use for black komma.")
120 (defvar dol-name-face 'dol-name-face)
121 (setq dol-name-face 'font-lock-variable-name-face)
126 (defvar dol-library-name-face 'dol-library-name-face)
127 (setq dol-library-name-face 'font-lock-type-face)
135 (defvar dol-other-name-face 'dol-other-name
[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 1326 milliseconds