Skip to content
GitLab

Fix manuals links

Merged 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