Tue, 08 Sep 2009 11:02:53 -0400 |
Adam Chlipala |
Use cdata for shorter Monad map |
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 |
Thu, 06 Aug 2009 14:57:44 -0400 |
Adam Chlipala |
<dyn> inside <tr> |
Thu, 06 Aug 2009 14:39:03 -0400 |
Adam Chlipala |
dlist add and delete both working in Iceape and Konqueror |
Thu, 06 Aug 2009 14:24:40 -0400 |
Adam Chlipala |
dlist row add working with Konqueror |
Thu, 06 Aug 2009 11:58:38 -0400 |
Adam Chlipala |
Tweaking dyn() implementation to get grid working |
Thu, 06 Aug 2009 11:54:28 -0400 |
Adam Chlipala |
dtable example and demos both working |
Sun, 19 Jul 2009 17:45:02 -0400 |
Adam Chlipala |
Working on Grid; have gone from one dynamic table bizareness to another |
Sat, 18 Jul 2009 15:08:21 -0400 |
Adam Chlipala |
FFI manual section |
Sat, 18 Jul 2009 13:46:22 -0400 |
Adam Chlipala |
New command-line options; describe simple SQLite build in demo intro |
Sat, 18 Jul 2009 12:53:26 -0400 |
Adam Chlipala |
Key events get key code input |
Sat, 18 Jul 2009 12:37:19 -0400 |
Adam Chlipala |
Testing new events |
Sat, 18 Jul 2009 12:28:25 -0400 |
Adam Chlipala |
Goodbye <font>; hello <h5> and <h6> |
Sat, 18 Jul 2009 11:58:54 -0400 |
Adam Chlipala |
Try to add all applicable JavaScript events |
Sat, 18 Jul 2009 11:01:48 -0400 |
Adam Chlipala |
More command-line options |
Sat, 18 Jul 2009 10:27:32 -0400 |
Adam Chlipala |
Blobs tested in MySQL and SQLite |
Fri, 17 Jul 2009 18:13:02 -0400 |
Adam Chlipala |
Tweaking demos a bit |