Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
tag: v43
Fetching contributors…

Cannot retrieve contributors at this time

27 lines (26 sloc) 0.79 kb
<html><head>
<link rel="stylesheet" type="text/css" href="opalang.css"/>
<script type="text/javascript">
//<![CDATA[
function subst() {
var vars={};
var x=document.location.search.substring(1).split('&');
for (var i in x) {var z=x[i].split('=',2);vars[z[0]] = unescape(z[1]);}
var x=['frompage','topage','page','webpage','section','subsection','subsubsection'];
for (var i in x) {
var y = document.getElementsByClassName(x[i]);
for (var j=0; j<y.length; ++j) y[j].textContent = vars[x[i]];
}
}
//]]>
</script></head>
<body style="border:0; margin: 0;" onload="subst()">
<table class="print_footer">
<tr>
<td class="left">A</td>
<td class="right">
<span class="page"></span>
</td>
</tr>
</table>
</body></html>
Jump to Line
Something went wrong with that request. Please try again.