Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
Colibri WebSite
Commits
b9c8bc9b
Commit
b9c8bc9b
authored
Apr 27, 2021
by
Allan Blanchard
Browse files
Add release date in installation files
parent
0873e4a0
Changes
37
Hide whitespace changes
Inline
Side-by-side
html/installations/aluminium.html
View file @
b9c8bc9b
...
...
@@ -4,7 +4,7 @@ version: aluminium
title: Installation instructions for Aluminium
---
<h1
id=
"installing-frama-c"
>
Installing Frama-C
</h1>
<h1
id=
"installing-frama-c"
>
Installing Frama-C
Aluminium (released on 2016-05-02)
</h1>
<h2
id=
"table-of-contents"
>
Table of Contents
</h2>
<ul>
<li><a
href=
"#recommended-mode-opam"
>
Recommended mode: OPAM
</a></li>
...
...
html/installations/argon.html
View file @
b9c8bc9b
...
...
@@ -4,7 +4,7 @@ version: argon
title: Installation instructions for 18.0 Argon
---
<h1
id=
"installing-frama-c"
>
Installing Frama-C
</h1>
<h1
id=
"installing-frama-c"
>
Installing Frama-C
Argon (released on 2018-10-29)
</h1>
<h2
id=
"table-of-contents"
>
Table of Contents
</h2>
<ul>
<li><a
href=
"#installing-frama-c"
>
Installing Frama-C
</a>
...
...
html/installations/beryllium-OSX.html
View file @
b9c8bc9b
...
...
@@ -4,7 +4,7 @@ version: beryllium-osx
title: Installation instructions for Frama-C Beryllium release
---
<h1>
Mac OS X Leopard installation for Frama-C Beryllium
</h1>
<h1>
Mac OS X Leopard installation for Frama-C Beryllium
(released on 2009-09-02)
</h1>
<p>
You need to be familiar with Unix to make use of this binary distribution.
...
...
html/installations/beryllium-why-2.21.html
View file @
b9c8bc9b
...
...
@@ -8,6 +8,7 @@ title: Installation instructions for Frama-C Beryllium release
-------------------------------------------
INSTALLATION INSTRUCTIONS for FRAMA_C + WHY
-------------------------------------------
(released on 2009-09-02)
===============================================================================
SUMMARY
...
...
html/installations/beryllium-windows-20090902.html
View file @
b9c8bc9b
...
...
@@ -4,7 +4,7 @@ version: beryllium-windows-2
title: Installation instructions for Frama-C Beryllium release
---
<h1>
Windows installation for Frama-C Beryllium
</h1>
<h1>
Windows installation for Frama-C Beryllium
(released on 2009-09-02)
</h1>
<p>
Run the Windows installer
<tt>
frama-c-Beryllium-20090902_installer.exe
</tt>
.
...
...
html/installations/beryllium-windows.html
View file @
b9c8bc9b
...
...
@@ -4,7 +4,7 @@ version: beryllium-windows
title: Installation instructions for Frama-C Beryllium release
---
<h1>
Windows installation for Frama-C Beryllium
</h1>
<h1>
Windows installation for Frama-C Beryllium
(released on 2009-09-02)
</h1>
<p>
Run the Windows installer
<tt>
frama-c-Beryllium-20090901_installer.exe
</tt>
.
...
...
html/installations/beryllium.html
View file @
b9c8bc9b
...
...
@@ -5,9 +5,10 @@ title: Installation instructions for Frama-C Beryllium release
---
<pre>
-------------------------
INSTALLATION INSTRUCTIONS
-------------------------
-----------------------------------------------
INSTALLATION INSTRUCTIONS FOR FRAMA-C BERYLLIUM
-----------------------------------------------
(released on 2009-09-02)
===============================================================================
SUMMARY
...
...
html/installations/boron-OSX.html
View file @
b9c8bc9b
...
...
@@ -4,7 +4,7 @@ version: boron-osx
title: Installation instructions for Frama-C Boron release
---
<h1>
Mac OS X Leopard installation for Frama-C Boron
</h1>
<h1>
Mac OS X Leopard installation for Frama-C Boron
(released on 2010-04-01)
</h1>
<pre>
This is the binary release of Frama-C for Mac OS X Intel (Leopard and
...
...
html/installations/boron-why-2.24.html
View file @
b9c8bc9b
...
...
@@ -8,6 +8,7 @@ title: Installation instructions for Frama-C Boron release
-------------------------------------------
INSTALLATION INSTRUCTIONS for FRAMA_C + WHY
-------------------------------------------
(released on 2010-04-01)
===============================================================================
SUMMARY
...
...
html/installations/boron-windows.html
View file @
b9c8bc9b
...
...
@@ -4,7 +4,7 @@ version: boron-windows
title: Installation instructions for Frama-C Boron release
---
<h1>
Windows installation for Frama-C Boron
</h1>
<h1>
Windows installation for Frama-C Boron
(released on 2010-04-01)
</h1>
<p>
Run the Windows installer
<tt>
Frama-C-Boron-20100401.exe
</tt>
.
...
...
html/installations/boron.html
View file @
b9c8bc9b
...
...
@@ -5,9 +5,10 @@ title: Installation instructions for Frama-C Boron release
---
<pre>
-------------------------
INSTALLATION INSTRUCTIONS
-------------------------
-------------------------------------------
INSTALLATION INSTRUCTIONS FOR FRAMA-C BORON
-------------------------------------------
(released on 2010-04-01)
===============================================================================
SUMMARY
...
...
html/installations/calcium.html
View file @
b9c8bc9b
...
...
@@ -4,7 +4,7 @@ version: calcium
title: Installation instructions for Calcium
---
<h1
id=
"installing-frama-c"
>
Installing Frama-C
</h1>
<h1
id=
"installing-frama-c"
>
Installing Frama-C
Calcium (released on 2019-12-04)
</h1>
<ul>
<li><a
href=
"#installing-frama-c"
>
Installing Frama-C
</a>
<ul>
...
...
html/installations/carbon-OSX.html
View file @
b9c8bc9b
...
...
@@ -4,7 +4,7 @@ version: carbon-osx
title: Installation instructions for Frama-C Carbon release
---
<h1>
Mac OS X Leopard installation for Frama-C Carbon
</h1>
<h1>
Mac OS X Leopard installation for Frama-C Carbon
(released on 2011-02-01)
</h1>
<pre>
This is the binary release of Frama-C for Mac OS X.
...
...
html/installations/carbon-beta.html
View file @
b9c8bc9b
...
...
@@ -5,9 +5,10 @@ title: Installation instructions for Frama-C Carbon beta
---
<pre>
-------------------------
INSTALLATION INSTRUCTIONS
-------------------------
--------------------------------------------
INSTALLATION INSTRUCTIONS FOR FRAMA-C CARBON
--------------------------------------------
(released on 2010-12-02)
===============================================================================
SUMMARY
...
...
html/installations/carbon.html
View file @
b9c8bc9b
...
...
@@ -5,9 +5,10 @@ title: Installation instructions for Frama-C Carbon release
---
<pre>
-------------------------
INSTALLATION INSTRUCTIONS
-------------------------
--------------------------------------------
INSTALLATION INSTRUCTIONS FOR FRAMA-C CARBON
--------------------------------------------
(released on 2011-02-01)
===============================================================================
SUMMARY
...
...
html/installations/chlorine.html
View file @
b9c8bc9b
...
...
@@ -4,7 +4,7 @@ version: chlorine
title: Installation instructions for Chlorine
---
<h1
id=
"installing-frama-c"
>
Installing Frama-C
</h1>
<h1
id=
"installing-frama-c"
>
Installing Frama-C
Chlorine (released on 2018-05-02)
</h1>
<h2
id=
"table-of-contents"
>
Table of Contents
</h2>
<ul>
<li><a
href=
"#installing-frama-c"
>
Installing Frama-C
</a>
...
...
html/installations/fluorine-20130401.html
View file @
b9c8bc9b
...
...
@@ -5,9 +5,10 @@ title: Installation instructions for Frama-C Fluorine
---
<pre>
-------------------------
INSTALLATION INSTRUCTIONS
-------------------------
----------------------------------------------
INSTALLATION INSTRUCTIONS FOR FRAMA-C FLUORINE
----------------------------------------------
(released on 2013-04-01)
===============================================================================
SUMMARY
...
...
html/installations/fluorine-20130501.html
View file @
b9c8bc9b
...
...
@@ -5,9 +5,10 @@ title: Installation instructions for Frama-C Fluorine 2
---
<pre>
-------------------------
INSTALLATION INSTRUCTIONS
-------------------------
----------------------------------------------
INSTALLATION INSTRUCTIONS FOR FRAMA-C FLUORINE
----------------------------------------------
(released on 2013-05-01)
===============================================================================
SUMMARY
...
...
html/installations/fluorine-20130601.html
View file @
b9c8bc9b
...
...
@@ -5,9 +5,10 @@ title: Installation instructions for Frama-C Fluorine 3
---
<pre>
-------------------------
INSTALLATION INSTRUCTIONS
-------------------------
----------------------------------------------
INSTALLATION INSTRUCTIONS FOR FRAMA-C FLUORINE
----------------------------------------------
(released on 2013-06-01)
===============================================================================
SUMMARY
...
...
html/installations/helium.html
View file @
b9c8bc9b
...
...
@@ -4,7 +4,7 @@ version: helium
title: Installation instructions for Frama-C Helium release
---
<h1>
Installation instructions for Frama-C Helium release
</h1>
<h1>
Installation instructions for Frama-C Helium
(
release
d on 2008-07-01)
</h1>
<p>
Assuming OCaml (and the LablGtk2 bindings for the GUI) are installed,
...
...
Prev
1
2
Next
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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