about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorCristian Cadar <cristic@cs.stanford.edu>2009-05-19 19:29:16 +0000
committerCristian Cadar <cristic@cs.stanford.edu>2009-05-19 19:29:16 +0000
commitf01ff0f8e0ffca185a87143e6461a539b9285930 (patch)
tree058a58924852f9240671ba3c8ba8c43371e7f193
parenta3f0578ef770b657a62da83278b81e775a3af166 (diff)
downloadklee-f01ff0f8e0ffca185a87143e6461a539b9285930.tar.gz
Added empty www/tutorials.html page (test commit to klee repository).
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72123 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--www/tutorials.html20
1 files changed, 20 insertions, 0 deletions
diff --git a/www/tutorials.html b/www/tutorials.html
new file mode 100644
index 00000000..db5220e4
--- /dev/null
+++ b/www/tutorials.html
@@ -0,0 +1,20 @@
+<!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 Tutorials</h1>
+  <!--*********************************************************************-->
+
+</div>
+</body>
+</html>