[llvm-commits] [klee] r72123 - /klee/trunk/www/tutorials.html

Tue May 19 12:29:19 PDT 2009

Author: cristic
Date: Tue May 19 14:29:16 2009
New Revision: 72123

URL: http://llvm.org/viewvc/llvm-project?rev=72123&view=rev
Log:
Added empty www/tutorials.html page (test commit to klee repository).

Added:
    klee/trunk/www/tutorials.html

Added: klee/trunk/www/tutorials.html
URL: http://llvm.org/viewvc/llvm-project/klee/trunk/www/tutorials.html?rev=72123&view=auto

==============================================================================

--- klee/trunk/www/tutorials.html (added)
+++ klee/trunk/www/tutorials.html Tue May 19 14:29:16 2009
@@ -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>



