Updated the index page

Author: pavpanchekha

www/index.html

@@ -19,17 +19,18 @@ <h3>Use</h3>
       <ul>
         <li><a href="/demo/">Web demo</a></li>
         <li><a href="#tools">Herbie tools</a></li>
+        <li><a href="doc/latest/release-notes.html">Release Notes</a></li>
         <li><a href="#news">News</a></li>
         <li><a href="#blog">Blog</a></li>
       </ul>
     </div>
     <div>
       <h3>Learn</h3>
       <ul>
-        <li><a href="doc/using-herbie.html">Using Herbie</a></li>
-        <li><a href="doc/using-herbgrind.html">Using HerbGrind</a></li>
-        <li><a href="doc/installing-herbie.html">Install Herbie</a></li>
-        <li><a href="doc/installing-herbgrind.html">Install HerbGrind</a></li>
+        <li><a href="doc/latest/using-herbie.html">Using Herbie</a></li>
+        <li><a href="doc/latest/using-herbgrind.html">Using HerbGrind</a></li>
+        <li><a href="doc/latest/installing-herbie.html">Install Herbie</a></li>
+        <li><a href="doc/latest/installing-herbgrind.html">Install HerbGrind</a></li>
         <li><a href="#docs">Documentation</a></li>
         <li><a href="pldi15.html">PLDI'15 Paper</a></li>
       </ul>
@@ -104,6 +105,7 @@ <h2 id="tools">Tools</h2>
 
   <h2>Herbie Project News</h2>
   <ol id="news">
+    <li><time>13 Jun</time>After months of work, the Herbie developers are proud to announce the release of <a href="doc/1.0/release-notes.html">Herbie 1.0</a>. This release transitions to the <a href="doc/latest/input.html">FPCore</a> format from the <a href="http://fpbench.org">FPBench</a> initiative, and includes significant bug fixes, usability tweaks, and improvements. Read about all the changes in the <a href="doc/1.0/release-notes.html">release notes</a>.</li>
     <li><time>9 May</time>In preparation for the Version 1.0 release, we've renamed the <code>pi</code> and <code>e</code> constants to upper case. This matches <code>libm</code> and should make it a little harder to cause bugs. Herbie will now optimize expressions like <code>(exp 1)</code> to <code>E</code>.</li>
     <li><time>6 May</time>We're proud to announce that we've been collaborating with <a href="http://perso.univ-perp.fr/mmartel/">Prof. Martel</a> and his students to build a <a href="http://fpbench.org">common benchmark suite and format</a> for floating point tools. Version 1.0 of Herbie will support only the FPBench format.</li>
     <li><time>4 Apr</time><a href="https://pavpanchekha.com/">Pavel</a> is giving a talk at Google on how Herbie works and what our plans for the future are.</li>
@@ -124,14 +126,16 @@ <h2>Herbie Project News</h2>
   <h2 id="docs">Documentation</h2>
 
   <ul>
-    <li><a href="doc/installing-herbie.html">Installing Herbie</a>: installing Racket and Herbie.</li>
-    <li><a href="doc/installing-herbgrind.html">Installing HerbGrind</a>: installing HerbGrind.</li>
-    <li><a href="doc/docker.html">Installing with Docker</a>: an alternate installation method for Docker users.</li>
-    <li><a href="doc/tutorial.html">Tutorial</a>: how to prepare inputs to Herbie and run the tool.</li>
-    <li><a href="doc/using-herbie.html">Using Herbie</a>: a guide to running Herbie.</li>
-    <li><a href="doc/input.html">Input format</a>: how to write expressions for Herbie to improve.</li>
-    <li><a href="doc/options.html">Command-line flags</a>: modifying Herbie's behavior.</li>
-    <li><a href="doc/using-herbgrind.html">Using HerbGrind</a>: a guide to running HerbGrind.</li>
+    <li><a href="doc/latest/release-notes.html">Release Notes</a>: the biggest and latest changes to Herbie.</li>
+    <li><a href="doc/latest/faq.html">FAQ</a>: troubleshooting and using Herbie.</li>
+    <li><a href="doc/latest/installing-herbie.html">Installing Herbie</a>: installing Racket and Herbie.</li>
+    <li><a href="doc/latest/installing-herbgrind.html">Installing HerbGrind</a>: installing HerbGrind.</li>
+    <li><a href="doc/latest/docker.html">Installing with Docker</a>: an alternate installation method for Docker users.</li>
+    <li><a href="doc/latest/tutorial.html">Tutorial</a>: how to prepare inputs to Herbie and run the tool.</li>
+    <li><a href="doc/latest/using-herbie.html">Using Herbie</a>: a guide to running Herbie.</li>
+    <li><a href="doc/latest/input.html">Input format</a>: how to write expressions for Herbie to improve.</li>
+    <li><a href="doc/latest/options.html">Command-line flags</a>: modifying Herbie's behavior.</li>
+    <li><a href="doc/latest/using-herbgrind.html">Using HerbGrind</a>: a guide to running HerbGrind.</li>
   </ul>
 
   <h2>Blog posts about Herbie</h2>
@@ -146,7 +150,6 @@ <h2>Blog posts about Herbie</h2>
     <li><a href="https://pavpanchekha.com/blog/arbitrary-precision.html">Arbitrary Precision, not Arbitrary Accuracy</a>: why arbitrary-precision libraries aren’t an answer to rounding error.</li>
     <li><a href="https://pavpanchekha.com/blog/casio-mathjs.html">Complex Square Roots in math.js</a>: how Herbie automatically fixed an accuracy bug in <a href="http://mathjs.org">math.js</a>, an open source mathematics library.</li>
     <li><a href="https://pavpanchekha.com/blog/fp-guarantees.html">Floating Point Guarantees</a>: how floating point rounding and primitive operators work.</li>
-
   </ul>
 
   <h2>The Herbie Developers</h2>