1 files changed, 24 insertions, 0 deletions
diff --git a/www/klee-tools.html b/www/klee-tools.html
new file mode 100644
index 00000000..131c1861
--- /dev/null
+++ b/www/klee-tools.html
@@ -0,0 +1,24 @@
+<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" 
+          "http://www.w3.org/TR/html4/strict.dtd">
+<!-- Material used from: HTML 4.01 specs: http://www.w3.org/TR/html401/ -->
+<html>
+<head>
+  <META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
+  <title>The KLEE Symbolic Virtual Machine</title>
+  <link type="text/css" rel="stylesheet" href="menu.css">
+  <link type="text/css" rel="stylesheet" href="content.css">
+</head>
+<body>
+<!--#include virtual="menu.html.incl"-->
+<div id="content">
+  <!--*********************************************************************-->
+  <h1>KLEE Tools</h1>
+  <!--*********************************************************************-->
+
+  <h2>ktest-tool</h2>
+
+  <h2>klee-stats</h2>
+
+</div>
+</body>
+</html>