Merge branch 'smtv2-dont-fail-on-untyped-prover-vars' into 'master'
[why3.git] / examples_in_progress / bigInt / index.html
blobce70dae8203d62cc6da11c97456fc94f0045d7be
1 <?xml version="1.0" encoding="utf-8"?>
2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
3 "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
4 <html xmlns="http://www.w3.org/1999/xhtml">
5 <head>
6 <title>Javascript test for bigInt</title>
7 </head>
8 <body id="test">
9 <h1>Javascript test for bigInt</h1>
10 <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
11 <script type="text/javascript" src="jsmain.js"></script>
12 </body>
13 </html>