1 files changed, 57 insertions, 0 deletions
diff --git a/www/Documentation.html b/www/Documentation.html
new file mode 100644
index 00000000..538cada7
--- /dev/null
+++ b/www/Documentation.html
@@ -0,0 +1,57 @@
+<!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>KLEE - Documentation</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 Documentation</h1>
+  <!--*********************************************************************-->
+
+  <ol>
+    <li>
+      <a href="Tutorials.html">KLEE Tutorials</a>:
+      Simple examples of how to use KLEE to test programs.
+    </li>
+
+    <li>
+      <a href="klee-options.html">KLEE Options</a>:      
+      Overview of KLEE's main command-line options.
+    </li>
+
+    <li>
+      <a href="klee-files.html">KLEE Generated Files</a>:
+      Overview of the main files generated by KLEE.
+    </li>
+
+    <li>
+      <a href="klee-tools.html">KLEE Tools</a>:
+      Overview of the main auxiliary tools provided by KLEE.
+    </li>
+    
+    <li>
+      <a href="KQuery.html">KQuery Language Reference Manual</a>:
+      The reference manual for the KQuery language, used for interacting with
+      the KLEE solver (kleaver).
+    </li>
+
+    <li>
+      <a href="CoreutilsExperiments.html">OSDI'08 Coreutils Experiments</a>:
+      Some information about the Coreutils experiments presented in our <a href="http://www.doc.ic.ac.uk/~cristic/papers/klee-osdi-08.pdf">KLEE OSDI'08 paper</a>.
+    </li>
+
+    <li>
+      <a href="developers-guide.html">Developer's Guide</a>: 
+      A brief guide on working with the KLEE source code.
+    </li>
+  </ol>
+</div>
+</body>
+</html>