Merge branch 'upgrade-altergo-2.6.0' into 'master'
[why3.git] / examples / gcd / index.html
blob6fd83f20340635097fe2177820a4fcfee60934d5
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
2 "http://www.w3.org/TR/html4/strict.dtd">
3 <html>
4 <head>
5 <title>Gcd</title>
6 </head>
7 <body id="test">
8 <h1>Gcd</h1>
9 <p>Enter numbers in the text area below</p>
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>