log demo/prose

age author description
2011-07-16 Adam Chlipala In demo prose, note URL for hello demo
2010-09-30 Adam Chlipala Demo improvements