Sophie

• Search
• Distribution
• Explorer
• Source & Patches
• Chat
• Help
• About

distrib > Mageia > 5 > i586 > by-pkgid > 5e64f2cdeefbf678eddef724c68c98e4 > files > 1

frama-c-emacs-1.10-0.20140301Neons.4.mga5.noarch.rpm

• Info
• Deps
• Files
• Scripts
• ChangeLog
• Location
• Others versions
• Analyse

(autoload 'acsl-mode "acsl" "Major mode for editing ACSL code" t)