Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | synchronizing changes | Dmitry | 2020-08-14 | 2 | -7/+20 |
* | Rename hypothetical -> speculative | Aleksey Kladov | 2020-08-14 | 1 | -1/+1 |
* | Remove Hygiene from completion | Aleksey Kladov | 2020-08-13 | 3 | -59/+65 |
* | Minor | Aleksey Kladov | 2020-08-13 | 1 | -6/+12 |
* | Rename ra_ide -> ide | Aleksey Kladov | 2020-08-13 | 18 | -0/+6880 |