mirror of
https://github.com/AdaCore/why3.git
synced 2026-02-12 12:34:55 -08:00
14 lines
461 B
HTML
14 lines
461 B
HTML
<?xml version="1.0" encoding="utf-8"?>
|
|
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
|
|
"http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
|
|
<html xmlns="http://www.w3.org/1999/xhtml">
|
|
<head>
|
|
<title>Javascript test for bigInt</title>
|
|
</head>
|
|
<body id="test">
|
|
<h1>Javascript test for bigInt</h1>
|
|
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
|
|
<script type="text/javascript" src="jsmain.js"></script>
|
|
</body>
|
|
</html>
|