IE 9]>
      <script src="https://oss.maxcdn.com/html5shiv/3.7.2/html5shiv.min.js"></script>
    <![endif]-->
  </head>
  <body>
    <div class="container">
      <div class="masthead">
        <ul class="nav nav-pills pull-right">
          <li><a href="http://fsharp.org">fsharp.org</a></li>
          <li><a href="https://github.com/stijnmoreels/FScenario">github page</a></li>
        </ul>
        <h3 class="muted"><a href="/FScenario/index.html">FScenario</a></h3>
      </div>
      <hr />
      <div cla