Searched defs:open (Results 1 - 4 of 4) sorted by relevance
/hets/utils/el/ | ||
H A D | casl-indent.el | 173 (defun casl-indent-open-structure (start end) 349 {- comments are aligned on the first non-blank char following the open { 622 indent-info open follow contour-line pt) 623 ;; open structure? ie ( { [ 624 (if (setq open (casl-indent-open-structure start end)) 625 ;; there is an open structure to complete 627 (casl-indent-push-pos open); align a ) or punct with ( 630 (goto-char (1+ open)) 634 (casl-indent-push-pos-offset open [all...] |
/hets/OWL2/java/lib/ | ||
H A D | owlapi-osgidistribution-3.5.2.jar | META-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ... |
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 30 milliseconds