Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fixing printing in debugger (no global env in debugger). | 2016-08-17 | |
* | Better algorithm for variable deambiguation in term printing. | 2016-06-23 | |
* | CLEANUP: Context.{Rel,Named}.Declaration.t | 2016-02-09 | |
* | Merge branch 'v8.5' | 2016-01-21 | |
* | Merge branch 'v8.5' | 2015-07-18 | |
* | Adding a new folder corresponding to the low-level part of the pretyper | 2015-02-27 |