header.mlt

   1 <html><head>
   2 <% val title =
   3         case $"title" of
   4                   "" => "Hcoop Portal"
   5                 | t => ("Hcoop Portal: " ^ t) %>
   6 <title><% Web.html title %></title>
   7 </head><body>
   8
   9 <a href="portal">Return to main page</a>
  10
  11 <h2><b><% Web.html title %></b></h2>