Commit acac8507 authored by Dario Pinto's avatar Dario Pinto Committed by Gitea
Browse files

Add timeline, WIP

parent f4785aa3
......@@ -11,6 +11,19 @@ body {
background-color: #ECDDCE;
}
#timelinetop div, #timelinebot div {
margin-top: 0.005em;
margin-bottom: 0.005em;
align: center;
text-align: center;
font-size: 0.80em;
}
#timeline div {
align: center;
text-align: center;
}
.featurette-divider {
margin: 5rem 0;
}
......
......@@ -222,5 +222,66 @@ We contribute to the core-development of OCaml, notably with our work on the Fla
You can also create your own timeline here.
</a>
</p>
<br />
<br />
<div id="timelinetop" class="row">
<div class="col-lg-2"></div>
<div class="col-lg-1">
2012: Working on a development toolsuite: the Typerex initiative
</div>
<div class="col-lg-1"></div>
<div class="col-lg-1">
2014: Release of the Flambda optimizing compiler in OCaml
</div>
<div class="col-lg-1"></div>
<div class="col-lg-1">
2016: The Alt-Ergo SMT Solver v1.30 is released
</div>
<div class="col-lg-1"></div>
<div class="col-lg-1">
2018: Inria’s OCaml Software Foundation is created
</div>
<div class="col-lg-1"></div>
<div class="col-lg-1">
2020: Alt-Ergo Users’ Club 2nd annual meeting
</div>
</div>
<div id="timeline" class="row">
<div class="col-lg-1"></div>
<div class="col-lg-1">DOT</div>
<div class="col-lg-1">DOT</div>
<div class="col-lg-1">DOT</div>
<div class="col-lg-1">DOT</div>
<div class="col-lg-1">DOT</div>
<div class="col-lg-1">DOT</div>
<div class="col-lg-1">DOT</div>
<div class="col-lg-1">DOT</div>
<div class="col-lg-1">DOT</div>
<div class="col-lg-1">DOT</div>
</div>
<div id="timelinebot" class="row">
<div class="col-lg-1"></div>
<div class="col-lg-1">
2011: OCamlPro is founded by Inria researchers
</div>
<div class="col-lg-1"></div>
<div class="col-lg-1">
2013: Release of the package manager OPAM 1.0
</div>
<div class="col-lg-1"></div>
<div class="col-lg-1">
2015: OCamlPro develops the Irill/Paris 7 OCaml FUN Mooc
</div>
<div class="col-lg-1"></div>
<div class="col-lg-1">
2017: OCamlPro delivers Tezos and its crowdfunding platform, complete with the TZscan and Liquidity tools
</div>
<div class="col-lg-1"></div>
<div class="col-lg-1">
2019: New company Origin Labs is created to tackle blockchain-related challenges
</div>
</div>
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