log

age author description
Tue, 08 Sep 2009 10:55:49 -0400 Adam Chlipala dragList demo working, save for Gecko load delay and highlighting
Tue, 08 Sep 2009 10:18:19 -0400 Adam Chlipala dragList almost kinda works
Tue, 08 Sep 2009 07:48:57 -0400 Adam Chlipala Start 'more' demo with dbgrid
Tue, 25 Aug 2009 17:33:13 -0400 Adam Chlipala New release
Tue, 25 Aug 2009 17:12:21 -0400 Adam Chlipala Fix structure wildification to take concrete con decls into account
Tue, 25 Aug 2009 15:19:00 -0400 Adam Chlipala Fix inconsistency in bool URLification between C and JavaScript
Tue, 25 Aug 2009 14:50:19 -0400 Adam Chlipala Fix list jsification bug; grid1 working with foreign key, but booleans not getting into database properly
Tue, 25 Aug 2009 13:57:56 -0400 Adam Chlipala grid1 compiles but gets stuck in JS
Sat, 22 Aug 2009 16:32:31 -0400 Adam Chlipala Fixed bug in reduce bind-commutation
Sat, 22 Aug 2009 12:55:18 -0400 Adam Chlipala Convert to requiring explicit 'rpc' marker
Tue, 11 Aug 2009 12:01:54 -0400 Adam Chlipala JavaScript urlifying of bools; correct Link attribute escaping
Tue, 11 Aug 2009 11:26:37 -0400 Adam Chlipala Be careful in Jscomp to avoid interpreting non-boolean/reference types as booleans with ?:
Sun, 09 Aug 2009 16:13:27 -0400 Adam Chlipala Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference
Thu, 06 Aug 2009 15:23:04 -0400 Adam Chlipala Fix type class resolution infinite loop, discovered while meeting with Ezra