3995

1 files changed, 4 insertions, 4 deletions

diff --git a/index.html b/index.html
index be4e0bf5..8b704838 100644
--- a/index.html
+++ b/index.html
@@ -156,16 +156,16 @@ addresses around all you like, and write from any copy of an address) and
 simpler implementation (no static analysis). Mu by convention abbreviates type
 <tt>address</tt> to <tt>&amp;</tt>.
 
-<p/>Support for higher-order recipes that can pass <a href='html/071recipe.cc.html'>recipes</a>
+<p/>Support for higher-order recipes that can pass <a href='html/072recipe.cc.html'>recipes</a>
 around like any other value.
 
-<p/>Support for running multiple functions concurrently using <a href='html/072scheduler.cc.html'><em>routines</em></a>,
+<p/>Support for running multiple functions concurrently using <a href='html/073scheduler.cc.html'><em>routines</em></a>,
 for communicating between routines using <a href='html/075channel.mu.html'><em>channels</em></a>,
-and for <a href='html/073wait.cc.html'>synchronizing</a> between routines.
+and for <a href='html/074wait.cc.html'>synchronizing</a> between routines.
 Channels are Mu's only synchronization primitive, queues that can cause the
 routine reading or writing from them to stall without taking up CPU resources.
 Mu provides safe concurrency by forbidding routines from sharing addresses;
-writing to a channel always performs a <a href='html/074deep_copy.cc.html'>deep copy</a>
+writing to a channel always performs a <a href='html/071deep_copy.cc.html'>deep copy</a>
 that preserves all internal aliasing.
 
 <p><b>Part III</b>: transforms to make Mu a little more expressive, and give