Blob Blame History Raw
(autoload 'acsl-mode "acsl" "Major mode for editing ACSL code" t)