Mercurial > urweb
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' |