log src/source.sml

age author description
2014-05-02 Adam Chlipala New lessSafeFfi
2014-05-02 Adam Chlipala Monadic bind supports patterns
2013-09-26 Adam Chlipala Get -root working properly again
2013-08-19 Adam Chlipala Allow [where con] to descend within submodule structure; open submodule constraints while checking later signature items
2012-07-29 Adam Chlipala Remove 'class' declaration; now use 'con' instead
2012-04-29 Adam Chlipala 'urweb daemon start' and 'urweb daemon stop'
2012-04-29 Adam Chlipala Initial support for reusing elaboration results
2010-09-07 Adam Chlipala Server-side 'onError'