This means to discontinue any research into emitting an optimal diff verb sequence for now and just to document the possible path I see to reach at such a optimal solution later, when it turns out to be really necessary performance wise. Personal note: I arrived at this conclusion while whatching the New Year fireworks 2014/2015 at the banks of the Isar river in the centre of the city. Too sad that 2014 didn't bring us World War III |
||
|---|---|---|
| .. | ||
| draw | ||
| DIR_INFO | ||
| empty.html | ||
| renderengine.html | ||
| uml | ||
| workflow.mm | ||