log src/errormsg.sig

age author description
2008-01-26 Adam Chlipala Elaborating cons and decls
2008-01-26 Adam Chlipala Initial parsing and pretty-printing
2008-01-26 Adam Chlipala Initial skeleton