# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1310840430 14400
# Node ID 5588ac6fa9f3aef2045d8bdbef1e7ea450c9bc82
# Parent  2f9b7382dd1ddfbbe71b200216a589fd279bb256
In demo prose, note URL for hello demo

diff -r 2f9b7382dd1d -r 5588ac6fa9f3 demo/prose
--- a/demo/prose	Sat Jul 16 14:12:14 2011 -0400
+++ b/demo/prose	Sat Jul 16 14:20:30 2011 -0400
@@ -30,7 +30,7 @@
 sqlite3 /path/to/database/file &lt;demo/demo.sql
 demo/demo.exe</pre></blockquote></p>
 
-<p>Then you can skip the static content and connect directly to the demo server at <tt>http://localhost:8080/Demo/Demo/main</tt>, which contains links to the individual demos.</p>
+<p>Then you can skip the static content and connect directly to the demo server at <tt>http://localhost:8080/Demo/Demo/main</tt>, which contains links to the individual demos.  If you're running the server created just for <tt>hello</tt>, then the URL will be <tt>http://localhost:8080/Hello/main</tt>.</p>
 
 <p>The rest of the demo focuses on the individual applications.  Follow the links in the lefthand frame to visit the applications, commentary, and syntax-highlighted source code.  (An Emacs mode is behind the syntax highlighting.)  I recommend visiting the applications in the order listed, since that is the order in which new concepts are introduced.</p>