summaryrefslogtreecommitdiff
path: root/edit-lens/src/Control
Commit message (Expand)AuthorAge
* Finish for submissionGregor Kleen2019-06-07
* Finish exampleGregor Kleen2019-06-04
* CleanupGregor Kleen2019-06-04
* Further workGregor Kleen2019-05-30
* Stuff...Gregor Kleen2019-02-19
* Much ado about nothingGregor Kleen2018-12-18
* propL now produces correct complementGregor Kleen2018-07-02
* First prototype of working DFST-propLGregor Kleen2018-06-18
* Work on propLGregor Kleen2018-06-18
* Work on propLGregor Kleen2018-05-22
* FST operationsGregor Kleen2018-05-21
* Think about how handleTransition' gets calledGregor Kleen2018-05-21
* Fix (hopefully) `toFST`Gregor Kleen2018-05-21
* Introduce FSTs & Generalize input/outputGregor Kleen2018-05-21
* Framework for DFST edit lensGregor Kleen2018-02-05
* No treesGregor Kleen2018-02-03
* RefactorGregor Kleen2017-11-23
* TypoGregor Kleen2017-11-14
* Cat-T correctionsGregor Kleen2017-11-14
* Comment on language extensions & fix compilationGregor Kleen2017-11-13
* Initial work on central definitionsGregor Kleen2017-11-13