[Added triangle symbols to the hierarchical web page menus.
nordland@csee.ltu.se**20081112111038] {
hunk ./web/menu.html 15
-<li><a href="index_examples.html" target = "_top">Tutorial examples...</a></li>
-<li><a href="index_summary.html" target = "_top">Language summary...</a></li>
+<li><a href="index_examples.html" target = "_top">&#9656; Tutorial examples</a></li>
+<li><a href="index_summary.html" target = "_top">&#9656; Language summary</a></li>
hunk ./web/menu_examples.html 16
-<li><a href="examples.html" target = "main">Tutorial examples...</a></li>
+<li><a href="examples.html" target = "main">&#9662; Tutorial examples</a></li>
hunk ./web/menu_examples.html 26
-<li><a href="index_summary.html" target = "_top">Language summary...</a></li>
+<li><a href="index_summary.html" target = "_top">&#9656; Language summary</a></li>
hunk ./web/menu_summary.html 15
-<li><a href="index_examples.html" target = "_top">Tutorial examples...</a></li>
+<li><a href="index_examples.html" target = "_top">&#9656; Tutorial examples</a></li>
hunk ./web/menu_summary.html 17
-<li><a href="summary.html" target = "main">Language summary...</a></li>
+<li><a href="summary.html" target = "main">&#9662; Language summary</a></li>
}