aboutsummaryrefslogtreecommitdiff
path: root/src/boot/driver/session.ml
Commit message (Collapse)AuthorAgeFilesLines
* Tidy up handling of unimplemented features. These are expected (if ↵Graydon Hoare2010-07-201-0/+13
| | | | undesirable) sorts of error, we should handle better than "backtrace and exit 2".
* Populate tree.Graydon Hoare2010-06-231-0/+111