Sat, 08 Nov 2008 12:24:23 -0500 |
Adam Chlipala |
Add help text for generated web servers |
Sat, 08 Nov 2008 12:12:50 -0500 |
Adam Chlipala |
Handle EError returning a function; handle multiple cookies in one input header |
Sat, 08 Nov 2008 10:58:59 -0500 |
Adam Chlipala |
Fix parsing of last input header |
Sat, 08 Nov 2008 10:46:14 -0500 |
Adam Chlipala |
[getCookie] reads cookie settings from current page generation |
Sat, 08 Nov 2008 10:33:58 -0500 |
Adam Chlipala |
Resolve all tag named in [Basis]; deal with C compilation failure without leaving /tmp files |
Sat, 08 Nov 2008 09:55:36 -0500 |
Adam Chlipala |
Generated web servers use getopt() |
Thu, 06 Nov 2008 19:43:48 -0500 |
Adam Chlipala |
Tree demo working (and other assorted regressions fixed) |
Thu, 06 Nov 2008 18:49:38 -0500 |
Adam Chlipala |
Tree demo works |
Thu, 06 Nov 2008 17:09:53 -0500 |
Adam Chlipala |
About to begin optimization of recursive transaction functions |
Thu, 06 Nov 2008 15:52:13 -0500 |
Adam Chlipala |
Ensql'ing nullables |
Thu, 06 Nov 2008 15:37:38 -0500 |
Adam Chlipala |
Inserted a NULL value |
Thu, 06 Nov 2008 14:03:50 -0500 |
Adam Chlipala |
Cookies work across pages |