update to v3.0.1

doc/book.html

@@ -1337,7 +1337,7 @@ <h1 id="getstarted" class="h1" data-heading-depth="1" style="display:block;font-
 </p>
 <ul class="ul list-star news-items loose">
 <li class="li ul-li list-star-li news-items-li loose-li" style="margin-bottom:1ex">
-<p>2024-01-13: Koka v3.0.0 released with improved VS Code integration and inlay hints. Initial support for
+<p>2024-01-13: Koka v3.0.1 released with improved VS Code integration and inlay hints. Initial support for
 locally qualified names and implicit parameters (see the <code class="code code1 language-koka lang-koka koka colorized"><span style="color:navy">samples/</span>syntax</code>). Various small bug fixes.
 </p></li>
 <li class="li ul-li list-star-li news-items-li loose-li" style="margin-bottom:1ex">
@@ -4660,7 +4660,7 @@ <h4 id="sec-rcontrol" class="h4" data-heading-depth="4" style="display:block;fon
 shared, making a single copy of those parts of the tree.
 </p>
 <p class="p learn button indent"><a href="https://www.microsoft.com/en-us/research/publication/perceus-garbage-free-reference-counting-with-reuse/" data-linkid="perceus">Read the Perceus technical report</a></p><h1 id="sec-koka-language-specification" class="h1" data-heading-depth="1" style="display:block;font-family:&#39;Nunito&#39;, &#39;Segoe UI&#39;, sans-serif"><a href="#sec-koka-language-specification" class="entity-anchor fa fa-link localref"></a><span class="heading-before"><span class="heading-label">4</span>.&#8194;</span>Koka language specification</h1>
-<p class="p noindent">This is the draft language specification of the Koka language, version v3.0.0<br>
+<p class="p noindent">This is the draft language specification of the Koka language, version v3.0.1<br>
 Currently only the lexical and context-free grammar are specified.
 The&nbsp;<a href="toc.html" data-linkid="stdlib">standard libraries</a> are documented separately.
 </p><h2 id="sec-lexical-syntax" class="h2" data-heading-depth="2" style="display:block;font-family:&#39;Nunito&#39;, &#39;Segoe UI&#39;, sans-serif"><a href="#sec-lexical-syntax" class="entity-anchor fa fa-link localref"></a><span class="heading-before"><span class="heading-label">4.1</span>.&#8194;</span>Lexical syntax</h2>

doc/index.html

@@ -1131,7 +1131,7 @@
 </p>
 <ul class="ul list-star news-items loose">
 <li class="li ul-li list-star-li news-items-li loose-li" style="margin-bottom:1ex">
-<p>2024-01-13: Koka v3.0.0 released with improved VS Code integration and inlay hints. Initial support for
+<p>2024-01-13: Koka v3.0.1 released with improved VS Code integration and inlay hints. Initial support for
 locally qualified names and implicit parameters (see the <code class="code code1 language-koka lang-koka koka colorized"><span style="color:navy">samples/</span>syntax</code>). Various small bug fixes.
 </p></li>
 <li class="li ul-li list-star-li news-items-li loose-li" style="margin-bottom:1ex">