Commit fedab5b3 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Merge branch 'fix/andre/install-typos' into 'master'

fix typos in INSTALL.md

See merge request frama-c/frama-c!3905
parents b085bac0 3629a50d
......@@ -59,7 +59,7 @@ rights):
opam install frama-c
For older `opam` versions, you have to install it
separately and call it explicitely with the following commands, before
separately and call it explicitly with the following commands, before
installing Frama-C as above. Again, installing the external dependencies
requires administrative rights.
......@@ -94,7 +94,7 @@ why3 config detect
### Reference configuration
See file [reference-configuration.md](reference-configuration.md)
for a set of packages that is known to work with Frama-C 24 (Chromium).
for a set of packages that is known to work with Frama-C+dev.
### Installing Custom Versions of Frama-C
......
Supports Markdown
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