src/Tools/jEdit/lib/Tools/jedit

   "src/document_view.scala"
   "src/documentation_dockable.scala"
   "src/find_dockable.scala"
   "src/fold_handling.scala"
   "src/graphview_dockable.scala"
-  "src/html_panel.scala"
   "src/info_dockable.scala"
   "src/isabelle.scala"
   "src/isabelle_encoding.scala"
   "src/isabelle_logic.scala"
   "src/isabelle_options.scala"

   "src/pretty_text_area.scala"
   "src/pretty_tooltip.scala"
   "src/process_indicator.scala"
   "src/protocol_dockable.scala"
   "src/raw_output_dockable.scala"
-  "src/readme_dockable.scala"
   "src/rendering.scala"
   "src/rich_text_area.scala"
   "src/scala_console.scala"
   "src/sledgehammer_dockable.scala"
   "src/symbols_dockable.scala"