Commit daa58e7f authored by Allan Blanchard's avatar Allan Blanchard

Fixes INSTALL and README for 22-Titanium

parent 235ea1fe
......@@ -7,7 +7,7 @@
- [Installing Frama-C from opam repository](#installing-frama-c-from-opam-repository)
- [Installing Custom Versions of Frama-C](#installing-custom-versions-of-frama-c)
- [Installing Frama-C on Windows via WSL](#installing-frama-c-on-windows-via-wsl)
- [Installing Frama-C on macOS](#installing-frama-c-on-mac-os)
- [Installing Frama-C on macOS](#installing-frama-c-on-macos)
- [Installing Frama-C via your Linux distribution (Debian/Ubuntu/Fedora)](#installing-frama-c-via-your-linux-distribution-debianubuntufedora)
- [Compiling from source](#compiling-from-source)
- [Quick Start](#quick-start)
......@@ -96,7 +96,7 @@ via the GUI:
## Further reference
- Links to user and developer manuals, Frama-C archives,
and plug-in manuals are available at <br>
and plug-in manuals are available at <br>
- [StackOverflow]( has several
questions with the `frama-c` tag, which is monitored by several members of the
......@@ -110,9 +110,10 @@ via the GUI:
the [issues tracking system](,
for reporting bugs.
- The [Frama-C wiki](
has some useful information, although it is not entirely up-to-date.
- The [Frama-C documentation page](
contains links to all manuals and plugins description, as well as tutorials, courses
and more.
- The [Frama-C blog]( has several posts about
- The [Frama-C blog]( has several posts about
new developments of Frama-C, as well as general discussions about the C
language, undefined behavior, floating-point computations, etc.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment