| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Describe algorithm for `propR` of DFST-lens | Gregor Kleen | 2018-05-07 |
| | | |||
| * | Improve doc of DFST | Gregor Kleen | 2018-05-07 |
| | | |||
| * | Move non-breaking language extensions to package.yaml | Gregor Kleen | 2018-05-07 |
| | | |||
| * | Framework for DFST edit lens | Gregor Kleen | 2018-02-05 |
| | | |||
| * | Define DFSTs | Gregor Kleen | 2018-02-04 |
 |
index : incremental-dfsts | |
| [no description] | gkleen |
| summaryrefslogtreecommitdiff |