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 |
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 |
2008-11-27 |
Adam Chlipala |
Start of manual |
2008-11-25 |
Adam Chlipala |
Profiling in Makefile |
2008-10-24 |
Adam Chlipala |
Transactions seem to be working |
2008-10-19 |
Adam Chlipala |
Building combined demo app |
2008-10-19 |
Adam Chlipala |
Demo HTML generation, minus source code |
2008-10-19 |
Adam Chlipala |
Proper configuration and installation |
2008-08-31 |
Adam Chlipala |
Laconic -> Ur |
2008-07-10 |
Adam Chlipala |
Writing HTML |
2008-01-26 |
Adam Chlipala |
Initial parsing and pretty-printing |
2008-01-26 |
Adam Chlipala |
Initial skeleton |