Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | - Re-named "Top" to "Any", and "Bottom" to "Nothing". | Eduardo Julian | 2018-05-20 | 1 | -1/+1 |
| | | | - Removed some modules that should have been deleted before. | ||||
* | - Moved all translation code under the JVM path (in preparation for porting ↵ | Eduardo Julian | 2018-01-08 | 1 | -0/+46 |
the JS back-end). |