From 682e45b96182d1abe0b6de3e4a6e9a8306896e7f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 16 Jul 2011 14:20:30 -0400 Subject: In demo prose, note URL for hello demo --- demo/prose | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/demo/prose b/demo/prose index 1cc9a6ac..8637ef68 100644 --- a/demo/prose +++ b/demo/prose @@ -30,7 +30,7 @@ ProxyPassReverse /Demo/ http://localhost:8080/Demo/

sqlite3 /path/to/database/file <demo/demo.sql demo/demo.exe

-

Then you can skip the static content and connect directly to the demo server at http://localhost:8080/Demo/Demo/main, which contains links to the individual demos.

+

Then you can skip the static content and connect directly to the demo server at http://localhost:8080/Demo/Demo/main, which contains links to the individual demos. If you're running the server created just for hello, then the URL will be http://localhost:8080/Hello/main.

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.

-- cgit v1.2.3