Commit 55989da5 authored by MARCHE Claude's avatar MARCHE Claude

add missing index.html for sudoku

parent cbf3819d
......@@ -220,8 +220,11 @@ pvsbin/
/examples/in_progress/*/*.byte
/examples/*.html
/examples/*/*.html
!/examples/*/index.html
/examples/*/*/*.html
!/examples/*/*/index.html
/examples/*/*/*/*.html
!/examples/*/*/*/index.html
/examples/style.css
/examples/*/style.css
/examples/*/*/style.css
......
<?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>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>
<?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>Sudoku Solver using Why3</title>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
</head>
<body id="body" style="background-color:#e0e0a0">
<h1>Sudoku Solver</h1>
<p>The solver was developed and formally proved correct using
<a href="http://why3.lri.fr/">Why3</a>, extracted to OCaml and then compiled to JavaScript
using <a href="http://ocsigen.org/js_of_ocaml/">Js_of_ocaml</a></p>
<p>See also
<ul><li> A <a href="http://www-sop.inria.fr/marelle/Laurent.Thery/Sudoku/Sudoku.html">Sudoku Solver formally proved using Coq</a>
</ul>
</p>
<div id="board"></div>
<button id="check">Check</button>
<button id="solve">Solve</button>
<button id="reset">Reset</button>
<script type="text/javascript" src="jsmain.js"></script>
</body>
</html>
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment