<html>
<head>
<title>The GvaScript framework</title>
</head>
<frameset cols="25%, 75%">
<frame name="tocFrame" src="html/toc.html"></frame>
<frame name="contentFrame" src="html/Intro.html"></frame>
</frameset>
</html>
<html>
<head>
<title>The GvaScript framework</title>
</head>
<frameset cols="25%, 75%">
<frame name="tocFrame" src="html/toc.html"></frame>
<frame name="contentFrame" src="html/Intro.html"></frame>
</frameset>
</html>