Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
a09706fa
Commit
a09706fa
authored
Oct 22, 2020
by
Allan Blanchard
Browse files
Update INSTALL for 22.0-Titanium
parent
51235bfa
Changes
1
Hide whitespace changes
Inline
Side-by-side
INSTALL.md
View file @
a09706fa
...
...
@@ -92,7 +92,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 2
1
(
Sc
an
d
ium).
for a set of packages that is known to work with Frama-C 2
2
(
Tit
anium).
### Installing Custom Versions of Frama-C
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment