src/Tools/jEdit/src/jedit/document_overview.scala
2009-12-08 wenzelm 2009-12-08 misc modernization of names;
2009-12-08 wenzelm 2009-12-08 misc rearrangement of files;
2009-09-15 wenzelm 2009-09-15 renamed PhaseOverviewPanel to Document_Overview;