app/header.mlt

   1 <html><head>
   2 <% val title =
   3         case $"title" of
   4                   "" => "Hcoop"
   5                 | t => ("Hcoop: " ^ t) %>
   6 <title><% Web.html title %></title>
   7 </head><body>
   8
   9 <h2><b><% Web.html title %></b></h2>