log .hgignore

age author description
2013-11-22 Anders Kaseorg Remove autogenerated config.h.in from version control
2013-11-21 Adam Chlipala Remove autogenerated files from version control
2012-05-03 Adam Chlipala Adaptations to ezyang's patch
2011-11-30 Adam Chlipala Update Coq semantics for 8.3pl2
2011-11-05 Adam Chlipala Support the full set of XHTML character entities
2011-10-26 Adam Chlipala Turn off warnings about deprecated functions, to placate silly OpenSSL change for OS X
2011-07-15 Adam Chlipala Generated pretty-printed HTML for a simple tutorial source file