2
PUBLIC "-//W3C//DTD XHTML 1.0 Frameset//EN"
3
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-frameset.dtd">
4
<html xmlns="http://www.w3.org/1999/xhtml">
6
<script src="haddock-util.js" type="text/javascript"></script>
7
<script type="text/javascript"><!--
10
The synopsis frame needs to be updated using javascript, so we hide
11
it by default and only show it if javascript is enabled.
13
TODO: provide some means to disable it.
16
var d = document.getElementById("inner-fs");
21
<frameset id="outer-fs" cols="25%,75%" onload="load()">
22
<frameset id="inner-fs" rows="100%,0%">
23
<frame src="index-frames.html" name="modules">
24
<frame src="" name="synopsis">
26
<frame src="index.html" name="main">