Skip to content

Provide more information on the Get Frama-C page

Allan Blanchard requested to merge more-complete-get-frama-c into master
  • adds manuals to the Frama-C page
  • fix links to "generic" downloadable files (frama-c-user-manual.pdf, etc)
  • fixes variadic and report description

Merge request reports