Moved maze example to the Tutorials page.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@121394 91177308-0d34-0410-b5e6-96231b3b80d8

2 files changed, 9 insertions, 9 deletions

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>