log Makefile

age author description
2008-07-13 Adam Chlipala Serving pages
2008-07-10 Adam Chlipala Command-line compiler goes the whole nine yards
2008-07-10 Adam Chlipala Writing HTML
2008-01-26 Adam Chlipala Initial parsing and pretty-printing
2008-01-26 Adam Chlipala Initial skeleton