| Tue, 08 Sep 2009 20:12:17 -0400 |
Adam Chlipala |
Fix memmem() signature; fix mono_reduce environment bookkeeping |
| Tue, 08 Sep 2009 19:42:12 -0400 |
Adam Chlipala |
'more' demos working after optimizer fix |
| 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 |
