Skip to content

Fix manuals links

Basile Desloges requested to merge bugfix/basile/20-manuals into master

Fix #20 (closed).

  • Add E-ACSL implementation manual to the main download page
  • Update manual download links to use local files and unversionned files for the main download
  • Sort manuals in the version page

Merge request reports