This could have other applications: for instance translations or an alternative viewing mode for the versioning tool.
On Fri, Feb 7, 2014 at 8:27 PM, Victor Porton
<address@hidden> wrote:
One idea is to make two-column editor for this
This sound good. One could have the cursor on the left column follow the cursor on the right, following some predefined mapping (e.g. between environments: theorem 1 on the left and theorem 1 on the right, or generally between any given subtrees). Of course, how this mapping is defined is quite a problem in itself...
Anyway, this would be quite a lot of work...