[Html explorification &%€#"&/!
nordland@csee.ltu.se**20081208151600] {
hunk ./web/menu.html 5
-
+<!--[if IE]>
+<style type="text/css"> 
+a { zoom: 1;}
+</style>
+<![endif]-->
hunk ./web/menu.html 11
+
hunk ./web/menu.html 18
-<li><a href="index.html" target = "_top">Home</a></li>
-<li><a href="index_histcred.html" target = "_top">History and credits</a></li>
-<li><a href="index_gentle.html" target = "_top">A gentle introduction</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>
-<li><a href="index_limplans.html" target = "_top">Limitations and future plans</a></li>
-<li><a href="index_pubs.html" target = "_top">Related publications</a></li>
-<li><a href="index_download.html" target = "_top">Download</a></li>
+<li><a href="index.html" target="_top">Home</a></li>
+<li><a href="index_histcred.html" target="_top">History and credits</a></li>
+<li><a href="index_gentle.html" target="_top">A gentle introduction</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>
+<li><a href="index_limplans.html" target="_top">Limitations and future plans</a></li>
+<li><a href="index_pubs.html" target="_top">Related publications</a></li>
+<li><a href="index_download.html" target="_top">Download</a></li>
hunk ./web/menu_examples.html 5
-
+<!--[if IE]>
+<style type="text/css"> 
+a { zoom: 1;}
+</style>
+<![endif]-->
hunk ./web/menu_examples.html 11
+
hunk ./web/menu_summary.html 5
-
+<!--[if IE]>
+<style type="text/css"> 
+a { zoom: 1;}
+</style>
+<![endif]-->
hunk ./web/menu_summary.html 11
+
}