From 6b5c91d2bb3f93f2e2a9d4b64bee71413007cd4a Mon Sep 17 00:00:00 2001
From: Cristian Cadar <cristic@cs.stanford.edu>
Date: Thu, 9 Dec 2010 18:40:58 +0000
Subject: Moved maze example to the Tutorials page.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@121394 91177308-0d34-0410-b5e6-96231b3b80d8
---
 www/Documentation.html |  7 -------
 www/Tutorials.html     | 11 +++++++++--
 2 files changed, 9 insertions(+), 9 deletions(-)

(limited to 'www')

diff --git a/www/Documentation.html b/www/Documentation.html
index 98d4ef1f..cf20cc5d 100644
--- a/www/Documentation.html
+++ b/www/Documentation.html
@@ -35,13 +35,6 @@
       the KLEE solver (kleaver).
     </li>
 
-    <li>
-      <a href="http://feliam.wordpress.com/2010/10/07/the-symbolic-maze/">Solving a maze with KLEE</a>:
-
-      A nice explanation of how symbolic execution can be used to generate
-      interesting program inputs. The example shows using KLEE to find all the
-      solutions to a maze game.
-    </li>
   </ol>
 </div>
 </body>
diff --git a/www/Tutorials.html b/www/Tutorials.html
index e4a027d7..e063a9a8 100644
--- a/www/Tutorials.html
+++ b/www/Tutorials.html
@@ -21,8 +21,15 @@
     <li><a href="Tutorial-2.html">Tutorial Two</a>: Testing a simple regular
       expression library.</li>
 
-    <li><a href="TestingCoreutils.html">Testing Coreutils</a>: In depth
-      description of how to use KLEE to test GNU Coreutils..</li>
+    <li><a href="http://feliam.wordpress.com/2010/10/07/the-symbolic-maze/">
+      Solving a maze with KLEE</a>: A nice explanation of how symbolic
+      execution can be used to generate interesting program
+      inputs. The example shows how to use KLEE to find all the
+      solutions to a maze game.
+    </li>
+
+    <li><a href="TestingCoreutils.html">Testing Coreutils</a>: In-depth
+      description of how to use KLEE to test GNU Coreutils.</li>
   </ol>
 
 
-- 
cgit 1.4.1