2010-03-25 |
Adam Chlipala |
Subquery expressions |
2010-03-04 |
Adam Chlipala |
Louder jscomp; toUpper/Lower fix for JavaScript |
2010-02-28 |
Adam Chlipala |
Fix parsing of space-free .urp directives; use 'class' for 'c*' tags |
2010-02-28 |
Adam Chlipala |
Changing foldRX to mapX |
2010-01-02 |
Adam Chlipala |
Proper 404 generation |
2009-12-26 |
Adam Chlipala |
Make summary unification more conservative; infer implicit arguments after applications |
2009-12-22 |
Adam Chlipala |
Basis.sql_nullable and Top.queryL |
2009-12-15 |
Adam Chlipala |
Allow same constructor shorthand for 'view' sig items as for 'table' |
2009-12-13 |
Adam Chlipala |
Fixing a bug in DInitializer elaboration |
2009-12-13 |
Adam Chlipala |
Weakening-type coercions for SQL values |
2009-12-10 |
Adam Chlipala |
Make oneRowE1 more general |
2009-11-07 |
Adam Chlipala |
Saving paper decisions |
2009-10-22 |
Adam Chlipala |
Checking deadline; sign-in |
2009-10-20 |
Adam Chlipala |
Start of user management |
2009-10-20 |
Adam Chlipala |
Registering for Conference1 |
2009-10-06 |
Adam Chlipala |
SELECT DISTINCT; eta expansion during Cjrization |
2009-09-15 |
Adam Chlipala |
Summary row with aggregates |
2009-08-25 |
Adam Chlipala |
grid1 compiles but gets stuck in JS |
2009-08-09 |
Adam Chlipala |
Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference |
2009-07-19 |
Adam Chlipala |
Working on Grid; have gone from one dynamic table bizareness to another |
2009-05-28 |
Adam Chlipala |
fn-pattern code in but not tested yet; hello compiles |
2009-05-03 |
Adam Chlipala |
outer demo |
2009-04-12 |
Adam Chlipala |
Stop tracking CSS classes in XML types |
2009-04-12 |
Adam Chlipala |
hello compiles with CSS |
2009-04-05 |
Adam Chlipala |
Chat demo |
2009-03-29 |
Adam Chlipala |
Expunging non-nullable rows |
2009-03-29 |
Adam Chlipala |
Redo channels, making them single-client |
2009-03-12 |
Adam Chlipala |
Change location/type of [fold] to be more uniform w.r.t. derived folders |
2009-03-10 |
Adam Chlipala |
BatchG demo |
2009-03-10 |
Adam Chlipala |
Avoid any JavaScript when pages don't need it; update demo prose |