Sat, 13 Jun 2009 14:29:36 -0400 |
Adam Chlipala |
<dyn> inside <table>; fix Specialize bug with datatype decls generating other mutually-recursive datatype decls |
Tue, 09 Jun 2009 18:11:59 -0400 |
Adam Chlipala |
Some standard library reorgs and additions; handle mutual datatypes better in Specialize |
Sun, 07 Jun 2009 16:45:00 -0400 |
Adam Chlipala |
Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff |
Sun, 07 Jun 2009 11:13:18 -0400 |
Adam Chlipala |
Start of Option; Basis.current; fix missed cases in Jscomp.isNullable |
Tue, 02 Jun 2009 11:50:53 -0400 |
Adam Chlipala |
Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module |
Thu, 28 May 2009 10:35:25 -0400 |
Adam Chlipala |
Demo compiles with pattern-matching-fu |
Tue, 26 May 2009 12:25:06 -0400 |
Adam Chlipala |
Chars and more string operations |
Sat, 23 May 2009 10:14:51 -0400 |
Adam Chlipala |
Change monoization of monads to allow partial applications of operations |
Thu, 21 May 2009 11:45:04 -0400 |
Adam Chlipala |
Change List.mapM' to avoid leaving functions around |
Thu, 21 May 2009 10:34:56 -0400 |
Adam Chlipala |
ccheckbox |
Thu, 21 May 2009 10:18:20 -0400 |
Adam Chlipala |
Split JavaScript inp() into separate functions |
Sun, 17 May 2009 18:41:43 -0400 |
Adam Chlipala |
Redo Jscomp |
Sun, 17 May 2009 13:25:57 -0400 |
Adam Chlipala |
Corify FFI datatypes properly; eliminate nested JavaScript markers |
Sat, 16 May 2009 15:55:15 -0400 |
Adam Chlipala |
Mutual datatypes through Pathcheck |
Sat, 16 May 2009 15:45:12 -0400 |
Adam Chlipala |
Mutual datatypes through Effectize |
Sat, 16 May 2009 12:47:01 -0400 |
Adam Chlipala |
Catch more unclosed bodyless tags in Monoize |
Sat, 16 May 2009 12:41:33 -0400 |
Adam Chlipala |
Fix a Core_untangle bug that missed closure variable references; XHTMLize |
Thu, 14 May 2009 13:18:31 -0400 |
Adam Chlipala |
Proper lifting of MonoEnv stored expressions; avoidance of onchange clobbering |
Thu, 14 May 2009 09:33:48 -0400 |
Adam Chlipala |
cselect |
Sun, 03 May 2009 14:57:33 -0400 |
Adam Chlipala |
outer demo |
Sun, 03 May 2009 12:36:25 -0400 |
Adam Chlipala |
css demo |
Thu, 30 Apr 2009 17:15:14 -0400 |
Adam Chlipala |
C FFI compiler options |
Thu, 30 Apr 2009 14:48:23 -0400 |
Adam Chlipala |
<input type='hidden'> |
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 |
Tue, 28 Apr 2009 14:02:23 -0400 |
Adam Chlipala |
Preparing to allow views in SELECT FROM clauses |
Tue, 28 Apr 2009 11:14:24 -0400 |
Adam Chlipala |
RIGHT and FULL JOIN |
Tue, 28 Apr 2009 11:05:28 -0400 |
Adam Chlipala |
LEFT JOIN |
Tue, 28 Apr 2009 10:11:56 -0400 |
Adam Chlipala |
INNER JOIN |
Tue, 28 Apr 2009 09:45:17 -0400 |
Adam Chlipala |
Switch to using sql_from_items |
Sun, 26 Apr 2009 12:35:45 -0400 |
Adam Chlipala |
sql_ufunc and octet_length |
Sun, 26 Apr 2009 09:02:17 -0400 |
Adam Chlipala |
Returning a blob as page result |
Sat, 25 Apr 2009 13:59:11 -0400 |
Adam Chlipala |
Initial support for blobs and upload |
Thu, 23 Apr 2009 16:13:02 -0400 |
Adam Chlipala |
Cookie signatures for RPCs |
Thu, 23 Apr 2009 14:10:10 -0400 |
Adam Chlipala |
Only use cookie signatures when cookies might be read |
Thu, 16 Apr 2009 19:12:12 -0400 |
Adam Chlipala |
Cookie signing working for forms |
Thu, 16 Apr 2009 14:35:01 -0400 |
Adam Chlipala |
POST support |
Thu, 16 Apr 2009 12:43:55 -0400 |
Adam Chlipala |
Show XML |
Thu, 16 Apr 2009 12:07:21 -0400 |
Adam Chlipala |
Catching duplicate cookie and style paths |
Thu, 16 Apr 2009 12:00:44 -0400 |
Adam Chlipala |
<link> |
Sun, 12 Apr 2009 14:19:15 -0400 |
Adam Chlipala |
Classes as optional arguments to Basis.tag |
Sun, 12 Apr 2009 12:31:54 -0400 |
Adam Chlipala |
Stop tracking CSS classes in XML types |
Sun, 12 Apr 2009 11:08:00 -0400 |
Adam Chlipala |
hello compiles with CSS |
Sun, 12 Apr 2009 10:08:11 -0400 |
Adam Chlipala |
style declarations |
Thu, 09 Apr 2009 16:36:50 -0400 |
Adam Chlipala |
URLs |
Thu, 09 Apr 2009 15:30:15 -0400 |
Adam Chlipala |
CHECK constraints |