incremental-dfsts/edit-lens/src/Control, branch master [no description] Typos 2019-06-07T13:26:54+00:00 Gregor Kleen gkleen@yggdrasil.li 2019-06-07T13:26:54+00:00 83cb9236b7ea80a8a9362b1f5616a6177d703cc4 






Finish for submission
2019-06-07T07:08:42+00:00

Gregor Kleen
gkleen@yggdrasil.li

2019-06-07T07:08:42+00:00

a29cce747f3717e32231c9a92b40be12832037b6












Finish example
2019-06-04T12:05:44+00:00

Gregor Kleen
gkleen@yggdrasil.li

2019-06-04T12:05:44+00:00

9a02751c1e588a5bbb83bb7e543c26486d3079d5












Cleanup
2019-06-04T09:13:16+00:00

Gregor Kleen
gkleen@yggdrasil.li

2019-06-04T09:11:57+00:00

537ac8a2ecb64a141ec8ffc1ab053e84154c4f09












Further work
2019-05-30T10:18:08+00:00

Gregor Kleen
gkleen@yggdrasil.li

2019-05-30T10:18:08+00:00

f4c419b9ddec15bad267a4463f0720d6e28042d2












Stuff...
2019-02-19T10:39:51+00:00

Gregor Kleen
gkleen@yggdrasil.li

2019-02-19T10:39:51+00:00

8afbe1f7df24034dd16fdf2e89b0665b2318ae2a












Much ado about nothing
2018-12-18T12:51:16+00:00

Gregor Kleen
gkleen@yggdrasil.li

2018-12-18T12:51:16+00:00

46ae60eaca841b554ba20c6a2b7a15b43c12b4df












propL now produces correct complement
2018-07-02T09:16:26+00:00

Gregor Kleen
gkleen@yggdrasil.li

2018-07-02T09:16:26+00:00

b0b18979d5ccd109d5a56937396acdeb85c857aa












First prototype of working DFST-propL
2018-06-18T12:16:53+00:00

Gregor Kleen
gkleen@yggdrasil.li

2018-06-18T12:16:53+00:00

7291311bf2adb79f261890a05e67604ea395b62f












Work on propL
2018-06-18T09:38:58+00:00

Gregor Kleen
gkleen@yggdrasil.li

2018-06-18T09:38:58+00:00

890414175e966bcf7c41dcd4b544bf4af3e6ae8d