/src/Tools/jEdit/src/
drwxr-xr-x [up]
drwxr-xr-x modes
-rw-r--r-- 2014-08-09 11:25 +0200 3113 Isabelle.props
-rw-r--r-- 2014-08-09 11:25 +0200 3348 actions.xml
-rw-r--r-- 2014-08-09 11:25 +0200 2503 active.scala
-rw-r--r-- 2014-08-09 11:25 +0200 24497 completion_popup.scala
-rw-r--r-- 2014-08-09 11:25 +0200 2468 context_menu.scala
-rw-r--r-- 2014-08-09 11:25 +0200 1005 dockable.scala
-rw-r--r-- 2014-08-09 11:25 +0200 1796 dockables.xml
-rw-r--r-- 2014-08-09 11:25 +0200 7362 document_model.scala
-rw-r--r-- 2014-08-09 11:25 +0200 8204 document_view.scala
-rw-r--r-- 2014-08-09 11:25 +0200 3540 documentation_dockable.scala
-rw-r--r-- 2014-08-09 11:25 +0200 1093 fold_handling.scala
-rw-r--r-- 2014-08-09 11:25 +0200 2074 font_info.scala
-rw-r--r-- 2014-08-09 11:25 +0200 2475 graphview_dockable.scala
-rw-r--r-- 2014-08-09 11:25 +0200 3125 info_dockable.scala
-rw-r--r-- 2014-08-09 11:25 +0200 9974 isabelle.scala
-rw-r--r-- 2014-08-09 11:25 +0200 1669 isabelle_encoding.scala
-rw-r--r-- 2014-08-09 11:25 +0200 2547 isabelle_logic.scala
-rw-r--r-- 2014-08-09 11:25 +0200 1587 isabelle_options.scala
-rw-r--r-- 2014-08-09 11:25 +0200 6916 isabelle_sidekick.scala
-rw-r--r-- 2014-08-09 11:25 +0200 9466 jEdit.props
-rw-r--r-- 2014-08-09 11:25 +0200 7825 jedit_editor.scala
-rw-r--r-- 2014-08-09 11:25 +0200 11249 jedit_lib.scala
-rw-r--r-- 2014-08-09 11:25 +0200 3379 jedit_options.scala
-rw-r--r-- 2014-08-09 11:25 +0200 3410 jedit_resources.scala
-rw-r--r-- 2014-08-09 11:25 +0200 2196 monitor_dockable.scala
-rw-r--r-- 2014-08-09 11:25 +0200 4242 output_dockable.scala
-rw-r--r-- 2014-08-09 11:25 +0200 2298 pide_docking_framework.scala
-rw-r--r-- 2014-08-09 11:25 +0200 12676 plugin.scala
-rw-r--r-- 2014-08-09 11:25 +0200 9084 pretty_text_area.scala
-rw-r--r-- 2014-08-09 11:25 +0200 7344 pretty_tooltip.scala
-rw-r--r-- 2014-08-09 11:25 +0200 1541 process_indicator.scala
-rw-r--r-- 2014-08-09 11:25 +0200 857 protocol_dockable.scala
-rw-r--r-- 2014-08-09 11:25 +0200 10183 query_dockable.scala
-rw-r--r-- 2014-08-09 11:25 +0200 868 raw_output_dockable.scala
-rw-r--r-- 2014-08-09 11:25 +0200 27772 rendering.scala
-rw-r--r-- 2014-08-09 11:25 +0200 23126 rich_text_area.scala
-rw-r--r-- 2014-08-09 11:25 +0200 6500 scala_console.scala
-rw-r--r-- 2014-08-09 11:25 +0200 1235 services.xml
-rw-r--r-- 2014-08-09 11:25 +0200 5158 simplifier_trace_dockable.scala
-rw-r--r-- 2014-08-09 11:25 +0200 5687 simplifier_trace_window.scala
-rw-r--r-- 2014-08-09 11:25 +0200 4456 sledgehammer_dockable.scala
-rw-r--r-- 2014-08-09 11:25 +0200 9058 spell_checker.scala
-rw-r--r-- 2014-08-09 11:25 +0200 3510 symbols_dockable.scala
-rw-r--r-- 2014-08-09 11:25 +0200 916 syslog_dockable.scala
-rw-r--r-- 2014-08-09 11:25 +0200 5044 text_overview.scala
-rw-r--r-- 2014-08-09 11:25 +0200 7984 theories_dockable.scala
-rw-r--r-- 2014-08-09 11:25 +0200 6495 timing_dockable.scala
-rw-r--r-- 2014-08-09 11:25 +0200 9296 token_markup.scala