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

/hets/utils/el/
H A Dcasl-indent.el18 "*Indentation of casl statements with respect to containing block."
23 "*Column on which to align right-hand sides (use 0 for ad-hoc alignment)."
37 (defun casl-indent-point-to-col (apoint)
47 "Regexp describing keywords to complete when standing at the first word
52 "These keywords need not to be indented.")
85 "Pushes indentation information for the column corresponding to POS
87 (casl-indent-push-col (casl-indent-point-to-col pos) name))
90 "Pushes indentation information for the column corresponding to POS
93 (casl-indent-push-col (+ (casl-indent-point-to-col pos)
111 (defun casl-indent-back-to
[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 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 20 milliseconds