Searched +defs:forward +defs:line (Results 1 - 3 of 3) sorted by relevance
/hets/utils/el/ | ||
H A D | casl-indent.el | 27 (defsubst casl-indent-get-beg-of-line (&optional arg) 29 (beginning-of-line arg) 32 (defsubst casl-indent-get-end-of-line (&optional arg) 34 (end-of-line arg) 48 of a line.") 104 (defun casl-indent-empty-line-p () 105 "Checks if the current line is empty." 107 (beginning-of-line) 126 (defun casl-indent-forward-line ( [all...] |
/hets/CASL/Termination/ | ||
H A D | AProVE.jar | META-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ... |
/hets/OWL2/java/lib/ | ||
H A D | guava-18.0.jar | META-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ... |
Completed in 527 milliseconds