diff demo/prose @ 1503:5588ac6fa9f3

In demo prose, note URL for hello demo
author Adam Chlipala <adam@chlipala.net>
date Sat, 16 Jul 2011 14:20:30 -0400
parents 4359e185d3af
children
line wrap: on
line diff
--- 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>