log demo/prose

age author description
2011-07-16 Adam Chlipala In demo prose, note URL for hello demo