about summary refs log tree commit diff stats
diff options
context:
space:
mode:
-rw-r--r--070string.mu (renamed from 060string.mu)0
-rw-r--r--071channel.mu (renamed from 061channel.mu)0
-rw-r--r--072array.mu (renamed from 062array.mu)0
-rw-r--r--073list.mu (renamed from 063list.mu)0
-rw-r--r--074random.cc (renamed from 064random.cc)0
-rw-r--r--075duplex_list.mu (renamed from 065duplex_list.mu)0
-rw-r--r--076stream.mu (renamed from 066stream.mu)0
-rw-r--r--080display.cc (renamed from 070display.cc)0
-rw-r--r--081print.mu (renamed from 071print.mu)0
-rw-r--r--082scenario_screen.cc (renamed from 072scenario_screen.cc)0
-rw-r--r--083scenario_screen_test.mu (renamed from 073scenario_screen_test.mu)0
-rw-r--r--084console.mu (renamed from 074console.mu)0
-rw-r--r--085scenario_console.cc (renamed from 075scenario_console.cc)0
-rw-r--r--086scenario_console_test.mu (renamed from 076scenario_console_test.mu)0
-rw-r--r--090trace_browser.cc (renamed from 080trace_browser.cc)0
-rw-r--r--091run_interactive.cc (renamed from 081run_interactive.cc)0
-rw-r--r--092persist.cc (renamed from 082persist.cc)0
-rw-r--r--998check_type_pointers.cc (renamed from 098check_type_pointers.cc)0
-rw-r--r--html/070string.mu.html (renamed from html/060string.mu.html)2
-rw-r--r--html/071channel.mu.html (renamed from html/061channel.mu.html)2
-rw-r--r--html/072array.mu.html (renamed from html/062array.mu.html)2
-rw-r--r--html/073list.mu.html (renamed from html/063list.mu.html)2
-rw-r--r--html/074random.cc.html (renamed from html/064random.cc.html)2
-rw-r--r--html/075duplex_list.mu.html (renamed from html/065duplex_list.mu.html)2
-rw-r--r--html/076stream.mu.html (renamed from html/066stream.mu.html)2
-rw-r--r--html/080display.cc.html (renamed from html/070display.cc.html)2
-rw-r--r--html/081print.mu.html (renamed from html/071print.mu.html)2
-rw-r--r--html/082scenario_screen.cc.html (renamed from html/072scenario_screen.cc.html)2
-rw-r--r--html/083scenario_screen_test.mu.html (renamed from html/073scenario_screen_test.mu.html)2
-rw-r--r--html/084console.mu.html (renamed from html/074console.mu.html)2
-rw-r--r--html/085scenario_console.cc.html (renamed from html/075scenario_console.cc.html)2
-rw-r--r--html/086scenario_console_test.mu.html (renamed from html/076scenario_console_test.mu.html)2
-rw-r--r--html/090trace_browser.cc.html (renamed from html/080trace_browser.cc.html)2
-rw-r--r--html/091run_interactive.cc.html (renamed from html/081run_interactive.cc.html)2
-rw-r--r--html/092persist.cc.html (renamed from html/082persist.cc.html)2
-rw-r--r--html/998check_type_pointers.cc.html (renamed from html/098check_type_pointers.cc.html)2
-rw-r--r--html/edit/006-sandbox-edit.mu.html1
-rw-r--r--html/example1.mu.html37
-rw-r--r--html/factorial.mu.html7
-rw-r--r--html/tangle.mu.html7
-rw-r--r--index.html36
41 files changed, 79 insertions, 45 deletions
diff --git a/060string.mu b/070string.mu
index 854e27a9..854e27a9 100644
--- a/060string.mu
+++ b/070string.mu
diff --git a/061channel.mu b/071channel.mu
index c8ca6cc9..c8ca6cc9 100644
--- a/061channel.mu
+++ b/071channel.mu
diff --git a/062array.mu b/072array.mu
index 03348c3a..03348c3a 100644
--- a/062array.mu
+++ b/072array.mu
diff --git a/063list.mu b/073list.mu
index a1076792..a1076792 100644
--- a/063list.mu
+++ b/073list.mu
diff --git a/064random.cc b/074random.cc
index 69ed8b2c..69ed8b2c 100644
--- a/064random.cc
+++ b/074random.cc
diff --git a/065duplex_list.mu b/075duplex_list.mu
index 765a6a17..765a6a17 100644
--- a/065duplex_list.mu
+++ b/075duplex_list.mu
diff --git a/066stream.mu b/076stream.mu
index 0ee3e2c1..0ee3e2c1 100644
--- a/066stream.mu
+++ b/076stream.mu
diff --git a/070display.cc b/080display.cc
index 970887bd..970887bd 100644
--- a/070display.cc
+++ b/080display.cc
diff --git a/071print.mu b/081print.mu
index c3d08180..c3d08180 100644
--- a/071print.mu
+++ b/081print.mu
diff --git a/072scenario_screen.cc b/082scenario_screen.cc
index a82862c0..a82862c0 100644
--- a/072scenario_screen.cc
+++ b/082scenario_screen.cc
diff --git a/073scenario_screen_test.mu b/083scenario_screen_test.mu
index 1eb2c351..1eb2c351 100644
--- a/073scenario_screen_test.mu
+++ b/083scenario_screen_test.mu
diff --git a/074console.mu b/084console.mu
index e713462b..e713462b 100644
--- a/074console.mu
+++ b/084console.mu
diff --git a/075scenario_console.cc b/085scenario_console.cc
index ab07ad76..ab07ad76 100644
--- a/075scenario_console.cc
+++ b/085scenario_console.cc
diff --git a/076scenario_console_test.mu b/086scenario_console_test.mu
index 754f1166..754f1166 100644
--- a/076scenario_console_test.mu
+++ b/086scenario_console_test.mu
diff --git a/080trace_browser.cc b/090trace_browser.cc
index 676be4f2..676be4f2 100644
--- a/080trace_browser.cc
+++ b/090trace_browser.cc
diff --git a/081run_interactive.cc b/091run_interactive.cc
index f871275a..f871275a 100644
--- a/081run_interactive.cc
+++ b/091run_interactive.cc
diff --git a/082persist.cc b/092persist.cc
index 774ce08f..774ce08f 100644
--- a/082persist.cc
+++ b/092persist.cc
diff --git a/098check_type_pointers.cc b/998check_type_pointers.cc
index 36c548a9..36c548a9 100644
--- a/098check_type_pointers.cc
+++ b/998check_type_pointers.cc
diff --git a/html/060string.mu.html b/html/070string.mu.html
index ae7a3e01..08edff08 100644
--- a/html/060string.mu.html
+++ b/html/070string.mu.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
-<title>Mu - 060string.mu</title>
+<title>Mu - 070string.mu</title>
 <meta name="Generator" content="Vim/7.4">
 <meta name="plugin-version" content="vim7.4_v1">
 <meta name="syntax" content="none">
diff --git a/html/061channel.mu.html b/html/071channel.mu.html
index 47a11e0f..1bddb78c 100644
--- a/html/061channel.mu.html
+++ b/html/071channel.mu.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
-<title>Mu - 061channel.mu</title>
+<title>Mu - 071channel.mu</title>
 <meta name="Generator" content="Vim/7.4">
 <meta name="plugin-version" content="vim7.4_v1">
 <meta name="syntax" content="none">
diff --git a/html/062array.mu.html b/html/072array.mu.html
index 4f800098..e4ab32a8 100644
--- a/html/062array.mu.html
+++ b/html/072array.mu.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
-<title>Mu - 062array.mu</title>
+<title>Mu - 072array.mu</title>
 <meta name="Generator" content="Vim/7.4">
 <meta name="plugin-version" content="vim7.4_v1">
 <meta name="syntax" content="none">
diff --git a/html/063list.mu.html b/html/073list.mu.html
index a3122c41..5db8f8af 100644
--- a/html/063list.mu.html
+++ b/html/073list.mu.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
-<title>Mu - 063list.mu</title>
+<title>Mu - 073list.mu</title>
 <meta name="Generator" content="Vim/7.4">
 <meta name="plugin-version" content="vim7.4_v1">
 <meta name="syntax" content="none">
diff --git a/html/064random.cc.html b/html/074random.cc.html
index bd176af3..86a40ca5 100644
--- a/html/064random.cc.html
+++ b/html/074random.cc.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
-<title>Mu - 064random.cc</title>
+<title>Mu - 074random.cc</title>
 <meta name="Generator" content="Vim/7.4">
 <meta name="plugin-version" content="vim7.4_v1">
 <meta name="syntax" content="cpp">
diff --git a/html/065duplex_list.mu.html b/html/075duplex_list.mu.html
index 4a9437ce..c7452600 100644
--- a/html/065duplex_list.mu.html
+++ b/html/075duplex_list.mu.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
-<title>Mu - 065duplex_list.mu</title>
+<title>Mu - 075duplex_list.mu</title>
 <meta name="Generator" content="Vim/7.4">
 <meta name="plugin-version" content="vim7.4_v1">
 <meta name="syntax" content="none">
diff --git a/html/066stream.mu.html b/html/076stream.mu.html
index 54e65159..feaa978b 100644
--- a/html/066stream.mu.html
+++ b/html/076stream.mu.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
-<title>Mu - 066stream.mu</title>
+<title>Mu - 076stream.mu</title>
 <meta name="Generator" content="Vim/7.4">
 <meta name="plugin-version" content="vim7.4_v1">
 <meta name="syntax" content="none">
diff --git a/html/070display.cc.html b/html/080display.cc.html
index 8fb46c4d..bf3ad0c8 100644
--- a/html/070display.cc.html
+++ b/html/080display.cc.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
-<title>Mu - 070display.cc</title>
+<title>Mu - 080display.cc</title>
 <meta name="Generator" content="Vim/7.4">
 <meta name="plugin-version" content="vim7.4_v1">
 <meta name="syntax" content="cpp">
diff --git a/html/071print.mu.html b/html/081print.mu.html
index 444a8359..19efbb1c 100644
--- a/html/071print.mu.html
+++ b/html/081print.mu.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
-<title>Mu - 071print.mu</title>
+<title>Mu - 081print.mu</title>
 <meta name="Generator" content="Vim/7.4">
 <meta name="plugin-version" content="vim7.4_v1">
 <meta name="syntax" content="none">
diff --git a/html/072scenario_screen.cc.html b/html/082scenario_screen.cc.html
index ade20fff..037fc9ff 100644
--- a/html/072scenario_screen.cc.html
+++ b/html/082scenario_screen.cc.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
-<title>Mu - 072scenario_screen.cc</title>
+<title>Mu - 082scenario_screen.cc</title>
 <meta name="Generator" content="Vim/7.4">
 <meta name="plugin-version" content="vim7.4_v1">
 <meta name="syntax" content="cpp">
diff --git a/html/073scenario_screen_test.mu.html b/html/083scenario_screen_test.mu.html
index ba50c80e..a93c7c20 100644
--- a/html/073scenario_screen_test.mu.html
+++ b/html/083scenario_screen_test.mu.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
-<title>Mu - 073scenario_screen_test.mu</title>
+<title>Mu - 083scenario_screen_test.mu</title>
 <meta name="Generator" content="Vim/7.4">
 <meta name="plugin-version" content="vim7.4_v1">
 <meta name="syntax" content="none">
diff --git a/html/074console.mu.html b/html/084console.mu.html
index 62f88c3a..c91544f9 100644
--- a/html/074console.mu.html
+++ b/html/084console.mu.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
-<title>Mu - 074console.mu</title>
+<title>Mu - 084console.mu</title>
 <meta name="Generator" content="Vim/7.4">
 <meta name="plugin-version" content="vim7.4_v1">
 <meta name="syntax" content="none">
diff --git a/html/075scenario_console.cc.html b/html/085scenario_console.cc.html
index 6ef48e09..061712fa 100644
--- a/html/075scenario_console.cc.html
+++ b/html/085scenario_console.cc.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
-<title>Mu - 075scenario_console.cc</title>
+<title>Mu - 085scenario_console.cc</title>
 <meta name="Generator" content="Vim/7.4">
 <meta name="plugin-version" content="vim7.4_v1">
 <meta name="syntax" content="cpp">
diff --git a/html/076scenario_console_test.mu.html b/html/086scenario_console_test.mu.html
index bc0f6688..8f0c8685 100644
--- a/html/076scenario_console_test.mu.html
+++ b/html/086scenario_console_test.mu.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
-<title>Mu - 076scenario_console_test.mu</title>
+<title>Mu - 086scenario_console_test.mu</title>
 <meta name="Generator" content="Vim/7.4">
 <meta name="plugin-version" content="vim7.4_v1">
 <meta name="syntax" content="none">
diff --git a/html/080trace_browser.cc.html b/html/090trace_browser.cc.html
index d209225b..62aa2fbe 100644
--- a/html/080trace_browser.cc.html
+++ b/html/090trace_browser.cc.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
-<title>Mu - 080trace_browser.cc</title>
+<title>Mu - 090trace_browser.cc</title>
 <meta name="Generator" content="Vim/7.4">
 <meta name="plugin-version" content="vim7.4_v1">
 <meta name="syntax" content="cpp">
diff --git a/html/081run_interactive.cc.html b/html/091run_interactive.cc.html
index 3802f61a..30490309 100644
--- a/html/081run_interactive.cc.html
+++ b/html/091run_interactive.cc.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
-<title>Mu - 081run_interactive.cc</title>
+<title>Mu - 091run_interactive.cc</title>
 <meta name="Generator" content="Vim/7.4">
 <meta name="plugin-version" content="vim7.4_v1">
 <meta name="syntax" content="cpp">
diff --git a/html/082persist.cc.html b/html/092persist.cc.html
index 1f6ed24f..cce4913f 100644
--- a/html/082persist.cc.html
+++ b/html/092persist.cc.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
-<title>Mu - 082persist.cc</title>
+<title>Mu - 092persist.cc</title>
 <meta name="Generator" content="Vim/7.4">
 <meta name="plugin-version" content="vim7.4_v1">
 <meta name="syntax" content="cpp">
diff --git a/html/098check_type_pointers.cc.html b/html/998check_type_pointers.cc.html
index 74de0da6..6532702e 100644
--- a/html/098check_type_pointers.cc.html
+++ b/html/998check_type_pointers.cc.html
@@ -2,7 +2,7 @@
 <html>
 <head>
 <meta http-equiv="content-type" content="text/html; charset=UTF-8">
-<title>Mu - 098check_type_pointers.cc</title>
+<title>Mu - 998check_type_pointers.cc</title>
 <meta name="Generator" content="Vim/7.4">
 <meta name="plugin-version" content="vim7.4_v1">
 <meta name="syntax" content="cpp">
diff --git a/html/edit/006-sandbox-edit.mu.html b/html/edit/006-sandbox-edit.mu.html
index a1e3bb2f..2381b4bd 100644
--- a/html/edit/006-sandbox-edit.mu.html
+++ b/html/edit/006-sandbox-edit.mu.html
@@ -155,7 +155,6 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; }
   <span class="Comment"># position cursor in sandbox editor</span>
   sandbox-in-focus?:address:boolean<span class="Special"> &lt;- </span>get-address *env, <span class="Constant">sandbox-in-focus?:offset</span>
   *sandbox-in-focus?<span class="Special"> &lt;- </span>copy <span class="Constant">1/true</span>
-  <span class="muControl">reply</span> result
 ]
 
 <span class="muScenario">scenario</span> sandbox-with-print-can-be-edited [
diff --git a/html/example1.mu.html b/html/example1.mu.html
new file mode 100644
index 00000000..13333c91
--- /dev/null
+++ b/html/example1.mu.html
@@ -0,0 +1,37 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
+<html>
+<head>
+<meta http-equiv="content-type" content="text/html; charset=UTF-8">
+<title>Mu - example1.mu</title>
+<meta name="Generator" content="Vim/7.4">
+<meta name="plugin-version" content="vim7.4_v1">
+<meta name="syntax" content="none">
+<meta name="settings" content="use_css,pre_wrap,no_foldcolumn,expand_tabs,prevent_copy=">
+<meta name="colorscheme" content="minimal">
+<style type="text/css">
+<!--
+pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+* { font-size: 1.05em; }
+.muRecipe { color: #ff8700; }
+.Constant { color: #00a0a0; }
+.Special { color: #ff6060; }
+-->
+</style>
+
+<script type='text/javascript'>
+<!--
+
+-->
+</script>
+</head>
+<body>
+<pre id='vimCodeElement'>
+<span class="muRecipe">recipe</span> example1 [
+  a:number<span class="Special"> &lt;- </span>add <span class="Constant">2</span>, <span class="Constant">2</span>
+  a<span class="Special"> &lt;- </span>multiply a, <span class="Constant">3</span>
+]
+</pre>
+</body>
+</html>
+<!-- vim: set foldmethod=manual : -->
diff --git a/html/factorial.mu.html b/html/factorial.mu.html
index 31ac9c26..db6840b9 100644
--- a/html/factorial.mu.html
+++ b/html/factorial.mu.html
@@ -40,9 +40,9 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; }
 <span class="Constant">]</span>
 ]
 
-<span class="muRecipe">recipe</span> factorial [
+<span class="muRecipe">recipe</span> factorial n:number<span class="muRecipe"> -&gt; </span>result:number [
   <span class="Constant">local-scope</span>
-  n:number<span class="Special"> &lt;- </span><span class="Constant">next-ingredient</span>
+  <span class="Constant">load-ingredients</span>
   <span class="Delimiter">{</span>
     <span class="Comment"># if n=0 return 1</span>
     zero?:boolean<span class="Special"> &lt;- </span>equal n, <span class="Constant">0</span>
@@ -52,8 +52,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; }
   <span class="Comment"># return n * factorial(n-1)</span>
   x:number<span class="Special"> &lt;- </span>subtract n, <span class="Constant">1</span>
   subresult:number<span class="Special"> &lt;- </span>factorial x
-  result:number<span class="Special"> &lt;- </span>multiply subresult, n
-  <span class="muControl">reply</span> result
+  result<span class="Special"> &lt;- </span>multiply subresult, n
 ]
 
 <span class="Comment"># unit test</span>
diff --git a/html/tangle.mu.html b/html/tangle.mu.html
index 118b2386..8b0b7d13 100644
--- a/html/tangle.mu.html
+++ b/html/tangle.mu.html
@@ -38,9 +38,9 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; }
 <span class="Comment"># This isn't a very tasteful example, just a simple demonstration of</span>
 <span class="Comment"># possibilities.</span>
 
-<span class="muRecipe">recipe</span> factorial [
+<span class="muRecipe">recipe</span> factorial n:number<span class="muRecipe"> -&gt; </span>result:number [
   <span class="Constant">local-scope</span>
-  n:number<span class="Special"> &lt;- </span><span class="Constant">next-ingredient</span>
+  <span class="Constant">load-ingredients</span>
   <span class="Delimiter">{</span>
 <span class="Constant">    &lt;base-case&gt;</span>
   <span class="Delimiter">}</span>
@@ -58,8 +58,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; }
   <span class="Comment"># return n * factorial(n - 1)</span>
   x:number<span class="Special"> &lt;- </span>subtract n, <span class="Constant">1</span>
   subresult:number<span class="Special"> &lt;- </span>factorial x
-  result:number<span class="Special"> &lt;- </span>multiply subresult, n
-  <span class="muControl">reply</span> result
+  result<span class="Special"> &lt;- </span>multiply subresult, n
 ]
 
 <span class="muRecipe">recipe</span> main [
diff --git a/index.html b/index.html
index 8ff533ec..24b8e0c0 100644
--- a/index.html
+++ b/index.html
@@ -156,7 +156,7 @@ a new syntax for wildcard <em>type ingredients</em> in containers; and finally
 support for type ingredients in recipes. Everytime you call a shape-shifting
 recipe with a new set of types for its type ingredients, it creates a
 new variant of the recipe for you matching those types.
-<p/><a href='html/098check_type_pointers.cc.html'>098check_type_pointers.cc.html</a>:
+<p/><a href='html/998check_type_pointers.cc.html'>998check_type_pointers.cc.html</a>:
 After all our messing about with types, a final pass to make sure we didn't
 introduce any invalid types.
 <br/><a href='html/999spaces.cc.html'>999spaces.cc.html</a>: Maps summarizing
@@ -166,20 +166,20 @@ various address spaces in the core, and the conventions that regulate their
 use in previous layers.
 
 <p><b>Part IV</b>: beginnings of a standard library
-<p/><a href='html/060string.mu.html'>060string.mu</a>: strings in Mu are
+<p/><a href='html/070string.mu.html'>070string.mu</a>: strings in Mu are
 bounds-checked rather than null-terminated. They're also unicode-aware (code
 points only; no control characters, no combining characters, no normalization).
-<br/><a href='html/061channel.mu.html'>061channel.mu</a>: channels are Mu's
+<br/><a href='html/071channel.mu.html'>071channel.mu</a>: 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.
-<br/><a href='html/062array.mu.html'>062array.mu</a>
-<br/><a href='html/063list.mu.html'>063list.mu</a>: linked lists where each
+<br/><a href='html/072array.mu.html'>072array.mu</a>
+<br/><a href='html/073list.mu.html'>073list.mu</a>: linked lists where each
 node points to the next, permitting fast insertion/deletion but slow for
 search.
-<br/><a href='html/064random.cc.html'>064random.cc</a>
-<br/><a href='html/065duplex_list.mu'>065duplex_list.mu</a>: doubly linked
+<br/><a href='html/074random.cc.html'>074random.cc</a>
+<br/><a href='html/075duplex_list.mu'>075duplex_list.mu</a>: doubly linked
 lists that can be traversed both forwards and back.
-<br/><a href='html/066stream.mu'>066stream.mu</a>: data structure to
+<br/><a href='html/076stream.mu'>076stream.mu</a>: data structure to
 efficiently append strings.
 
 <p><b>Part V</b>: Nascent tools for browsing Mu codebases, and for teaching
@@ -188,24 +188,24 @@ The eventual goal is <b>an environment that watches programmers as they
 manually test their code, and turns these interactive sessions into
 reproducible test scenarios.</b>
 
-<p/><a href='html/070display.cc.html'>070display.cc</a>: primitives for using
+<p/><a href='html/080display.cc.html'>080display.cc</a>: primitives for using
 the keyboard and screen.
-<br/><a href='html/071print.mu.html'>071print.mu</a>: helpers that can swap
+<br/><a href='html/081print.mu.html'>081print.mu</a>: helpers that can swap
 the real screen with fake ones for testing.
-<br/><a href='html/072scenario_screen.cc.html'>072scenario_screen.cc</a>:
+<br/><a href='html/082scenario_screen.cc.html'>082scenario_screen.cc</a>:
 writing tests that check what is printed to screen.
-(<a href='html/073scenario_screen_test.mu.html'>examples</a>)
-<br/><a href='html/074console.mu.html'>074console.mu</a>: helpers that can
+(<a href='html/083scenario_screen_test.mu.html'>examples</a>)
+<br/><a href='html/084console.mu.html'>084console.mu</a>: helpers that can
 swap the real keyboard and mouse with fake ones for testing.
-<br/><a href='html/075scenario_console.cc.html'>075scenario_console.cc</a>:
+<br/><a href='html/085scenario_console.cc.html'>085scenario_console.cc</a>:
 writing tests for keyboard and mouse using the fakes.
-(<a href='html/076scenario_console_test.mu.html'>examples</a>)
-<br/><a href='html/080trace_browser.cc.html'>080trace_browser.cc</a>: a
+(<a href='html/086scenario_console_test.mu.html'>examples</a>)
+<br/><a href='html/090trace_browser.cc.html'>090trace_browser.cc</a>: a
 zoomable UI for inspecting traces generated by Mu programs. Allows both
 scanning a high-level view and drilling down into selective details.
-<br/><a href='html/081run_interactive.cc.html'>081run_interactive.cc</a>:
+<br/><a href='html/091run_interactive.cc.html'>091run_interactive.cc</a>:
 hacky primitives for running Mu code in the programming environment below.
-<br/><a href='html/082persist.cc.html'>082persist.cc</a>: more hacky
+<br/><a href='html/092persist.cc.html'>092persist.cc</a>: more hacky
 primitives for supporting saving/restoring sessions in the Mu programming
 environment.