Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Define uw_loggers structure, allow FFI code to access it | Sergey Mironov | 2014-02-26 |
| | |||
* | Add 'html5' .urp directive | Adam Chlipala | 2014-01-09 |
| | |||
* | Start SQL transactions as read-only when possible, based on conservative ↵ | Adam Chlipala | 2013-12-12 |
| | | | | program analysis | ||
* | New header file scheme to support FFI code in either of C or C++ [based on ↵ | Adam Chlipala | 2013-10-11 |
suggestion by Ron de Bruijn] |