Commit message (Expand) | Author | Age | |
---|---|---|---|
* | made some fixes | 2013-12-29 | |
* | various updates and tighter integration of QED stuff into mainline | 2013-12-19 | |
* | fixes to type checking code | 2013-12-11 | |
* | some refactoring of QED stuff | 2013-12-10 | |
* | first check in | 2013-12-04 |