Sat, 16 May 2009 12:41:33 -0400 |
Adam Chlipala |
Fix a Core_untangle bug that missed closure variable references; XHTMLize |
Sun, 03 May 2009 15:38:49 -0400 |
Adam Chlipala |
cookieSec demo |
Sat, 02 May 2009 18:20:15 -0400 |
Adam Chlipala |
Runtime URL and MIME type filtering |
Sat, 02 May 2009 12:10:43 -0400 |
Adam Chlipala |
More FFI compiler options |
Sat, 02 May 2009 11:27:26 -0400 |
Adam Chlipala |
Successfully influenced effectful-ness status of FFI func |
Thu, 30 Apr 2009 17:15:14 -0400 |
Adam Chlipala |
C FFI compiler options |
Thu, 30 Apr 2009 13:47:46 -0400 |
Adam Chlipala |
subforms working |
Thu, 30 Apr 2009 11:48:56 -0400 |
Adam Chlipala |
Subforms type-checks; lists urlified and unurlified |
Thu, 30 Apr 2009 11:07:29 -0400 |
Adam Chlipala |
Basis.list |
Tue, 28 Apr 2009 17:26:53 -0400 |
Adam Chlipala |
Subforms |
Tue, 28 Apr 2009 15:04:37 -0400 |
Adam Chlipala |
A view query works |
Sun, 26 Apr 2009 12:47:53 -0400 |
Adam Chlipala |
Extra checks on assumptions about SQL results |
Sun, 26 Apr 2009 10:53:36 -0400 |
Adam Chlipala |
Handling nullable blobs |
Sun, 26 Apr 2009 10:45:59 -0400 |
Adam Chlipala |
Reading blobs from the database |
Sun, 26 Apr 2009 09:02:17 -0400 |
Adam Chlipala |
Returning a blob as page result |
Sat, 25 Apr 2009 14:35:49 -0400 |
Adam Chlipala |
Only allow single-file upload per control |