mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
14 lines
385 B
HTML
14 lines
385 B
HTML
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
|
|
"http://www.w3.org/TR/html4/strict.dtd">
|
|
<html>
|
|
<head>
|
|
<title>Gcd</title>
|
|
</head>
|
|
<body id="test">
|
|
<h1>Gcd</h1>
|
|
<p>Enter numbers in the text area below</p>
|
|
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
|
|
<script type="text/javascript" src="jsmain.js"></script>
|
|
</body>
|
|
</html>
|