Work in progress...

Currently I am working on: separating the not-editor-specific stuff into a own library "docsynch-core.jar"; the jEdit plugin now has an option pane for everything that has to do with color highlighting; I am trying to compile the core library as J# in .NET for a Visual Studio .NET addin.

Stay tuned.