Searched defs:running (Results 1 - 6 of 6) sorted by relevance
| /hets/utils/el/ | ||
| H A D | hpf-mode.el | 25 ;; Are we running FSF Emacs or XEmacs? 26 (defvar hpf-running-xemacs 28 "non-nil if we are running XEmacs, nil otherwise.") |
| H A D | casl-mode.el | 31 ;; Are we running FSF Emacs or XEmacs? 32 (defvar casl-running-xemacs 34 "non-nil if we are running XEmacs, nil otherwise.") 271 "*the additional options for running hets.") |
| H A D | dol-mode.el | 31 ;; Are we running FSF Emacs or XEmacs? 32 (defvar dol-running-xemacs 34 "non-nil if we are running XEmacs, nil otherwise.") 271 "*the additional options for running hets.") |
| H A D | casl-indent.el | 54 (defconst casl-running-xemacs 60 (if casl-running-xemacs |
| /hets/OWL2/java/lib/ | ||
| H A D | guava-18.0.jar | META-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ... |
| /hets/CASL/Termination/ | ||
| H A D | AProVE.jar | META-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ... |
Completed in 22 milliseconds