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

/hets/utils/el/
H A Dhpf-mode.el27 (string-match "Lucid\\|XEmacs" emacs-version)
105 (defvar hpf-string-char-face 'hpf-string-char-face)
106 (setq hpf-string-char-face 'font-lock-string-face)
163 (defconst hpf-font-lock-string
166 (0 (symbol-value 'hpf-string-char-face) keep t))
172 (defvar hpf-font-lock-syntax-highligthing (symbol-value 'hpf-font-lock-string)
H A Dcasl-mode.el33 (string-match "Lucid\\|XEmacs" emacs-version)
141 (defvar casl-string-char-face 'casl-string-char-face)
142 (setq casl-string-char-face 'font-lock-string-face)
252 (defconst casl-font-lock-string
255 (0 (symbol-value 'casl-string-char-face) keep t))
261 (defvar casl-font-lock-syntax-highligthing (symbol-value 'casl-font-lock-string)
383 (defun casl-compilation-filter (proc string)
395 (insert string)
[all...]
H A Ddol-mode.el33 (string-match "Lucid\\|XEmacs" emacs-version)
141 (defvar dol-string-char-face 'dol-string-char-face)
142 (setq dol-string-char-face 'font-lock-string-face)
252 (defconst dol-font-lock-string
255 (0 (symbol-value 'dol-string-char-face) keep t))
261 (defvar dol-font-lock-syntax-highligthing (symbol-value 'dol-font-lock-string)
383 (defun dol-compilation-filter (proc string)
395 (insert string)
[all...]
/hets/Isabelle/export/
H A Dexport_helper.ml7 | Fail of string;
15 val getError : ('a, 'b) p -> string;
17 val initialState : 'a list -> ('a,string) p;
44 | Failed of string;
53 | Fail of string;
150 val scan : string -> cmd list;
152 val test : cmd list -> (parsed_theory option * string);
179 {assumes: {name:string option, term:string} list,
180 fixes: {names:string lis
629 val classes_of : theory -> (class * string list * class
686 (class * string list * (string * term) list * class
[all...]
/hets/MMT/
H A Dhets-mmt-standalone.jar ... pad (java.lang.String, java.lang.String, int) int i String indent String string int width StringBuffer ...
/hets/OWL2/java/lib/
H A Dguava-18.0.jar ... String string int length public static java.lang.String toLowerCase (java.lang.CharSequence) int i CharSequence chars ...
H A Dowlapi-osgidistribution-3.5.2.jar ... .model.OWLAxiomVisitor declarationRemover public java.lang.String toString () static void " href="/source/s?defs= ...
/hets/CASL/Termination/
H A DAProVE.jar ... %3E" <init> () public static java.lang.String run (java.lang.String, java.lang. ...

Completed in 27 milliseconds