Searched defs:on (Results 1 - 4 of 4) sorted by relevance

/hets/CASL_DL/doc/
H A DCASL_DL-Notes.tex78 Annotations (on the OWL DL side) can point to parts that are
88 \subsection{Structuring on the \CASLDL side}
183 on the OWL DL side like ordinary other properties. And they are
296 [But this can be implemented as an easy restriction on signature
/hets/utils/el/
H A Dcasl-indent.el23 "*Column on which to align right-hand sides (use 0 for ad-hoc alignment)."
190 ((looking-at "%{\\|%%\\|%\\[\\|%\(") ; on the first char of a comment ?
192 ((and (= (preceding-char) ?%) ; on the second char ?
348 -- comments are aligned on their start
349 {- comments are aligned on the first non-blank char following the open {
587 ;; loop on all parts separated by off-side-keywords
607 ;; but keep the start of the line if keyword alone on the line
750 ;;; turn-on-casl-indent to be used in conjunction with
754 (defun turn-on-casl-indent ()
755 "Turn on ``intelligen
[all...]
/hets/OWL2/java/lib/
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 18 milliseconds