doc/hal/index.html


1
2
3
4
5
6
7
8

<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>
    <meta http-equiv="Refresh" content="0; URL=html/index.html">
  </head>
  <body>
  </body>
</html>