From 682e45b96182d1abe0b6de3e4a6e9a8306896e7f Mon Sep 17 00:00:00 2001
From: Adam Chlipala
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