log .hgignore

age author description
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
2010-05-29 Adam Chlipala Include config.h.in in distribution
2010-05-23 Adam Chlipala Support HTTP caching of app.js
2010-02-07 Adam Chlipala More fixes for NetBSD support
2010-01-30 Adam Chlipala Another try to include more Autofiles in the distribution
2010-01-28 Adam Chlipala First attempt to switch to Automake, to get shared libraries built in OSX
2010-01-26 Adam Chlipala Using libtool to build and install liburweb*
2009-12-27 Adam Chlipala Dynamic linking of the runtime system
2009-09-08 Adam Chlipala Start 'more' demo with dbgrid
2009-04-30 Adam Chlipala C FFI compiler options
2009-02-17 Adam Chlipala Start of Featherweight Ur semantics
2008-11-29 Adam Chlipala Module projection