Searched +defs:indent +defs:line +defs:to (Results 1 - 2 of 2) sorted by relevance
| /hets/utils/el/ | ||
| H A D | casl-indent.el | 9 ;; casl-indent.el --- indentation module for CASL Mode 12 (defgroup casl-indent nil 15 :prefix "casl-indent-") 17 (defcustom casl-indent-offset 5 18 "*Indentation of casl statements with respect to containing block." 20 :group 'casl-indent) 22 (defcustom casl-indent-rhs-align-column 0 23 "*Column on which to align right-hand sides (use 0 for ad-hoc alignment)." 25 :group 'casl-indent) 27 (defsubst casl-indent [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/ ... |
Completed in 1341 milliseconds