log src/unnest.sml

age author description
2010-09-07 Adam Chlipala Server-side 'onError'
2010-06-03 Adam Chlipala Some serious bug-fix work to get HTML example to compile; this includes fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
2010-04-04 Adam Chlipala Pushing policies through
2009-12-15 Adam Chlipala Convert to task syntax
2009-12-13 Adam Chlipala Initializers and setval
2009-10-25 Adam Chlipala Inlining threshold for Mono_reduce
2009-05-28 Adam Chlipala Fix EDLet elab_util bug
2009-05-28 Adam Chlipala Destructing local let, to the point where demo compiles
2009-04-28 Adam Chlipala A view query works
2009-04-12 Adam Chlipala style declarations
2009-02-22 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
2008-11-11 Adam Chlipala More ThreadedBlog progress
2008-11-11 Adam Chlipala Get threadedBlog to work
2008-11-06 Adam Chlipala Cookies through elaborate
2008-11-04 Adam Chlipala Nested demo
2008-11-02 Adam Chlipala Almost have that nested save function compiling
2008-11-01 Adam Chlipala Wrapping works in Blog
2008-11-01 Adam Chlipala First Unnest tests working