wenzelm [Tue, 15 Dec 2009 19:50:55 +0100] rev 34784
split Theory_View into Document_Model (connected to Buffer) and Document_View (connected to JEditTextArea);
incorporate Document_Overview into Document_View;
eliminated Plugin.mapping in favour of direct association via generic properties;
support several views per model;
misc tuning;