/src/Tools/jEdit/src/
drwxr-xr-x [up]
drwxr-xr-x modes
-rw-r--r-- 2014-04-28 15:29 +0200 3113 Isabelle.props
-rw-r--r-- 2014-04-28 15:29 +0200 3231 actions.xml
-rw-r--r-- 2014-04-28 15:29 +0200 2385 active.scala
-rw-r--r-- 2014-04-28 15:29 +0200 21778 completion_popup.scala
-rw-r--r-- 2014-04-28 15:29 +0200 2468 context_menu.scala
-rw-r--r-- 2014-04-28 15:29 +0200 932 dockable.scala
-rw-r--r-- 2014-04-28 15:29 +0200 1794 dockables.xml
-rw-r--r-- 2014-04-28 15:29 +0200 7391 document_model.scala
-rw-r--r-- 2014-04-28 15:29 +0200 8206 document_view.scala
-rw-r--r-- 2014-04-28 15:29 +0200 3540 documentation_dockable.scala
-rw-r--r-- 2014-04-28 15:29 +0200 7287 find_dockable.scala
-rw-r--r-- 2014-04-28 15:29 +0200 1093 fold_handling.scala
-rw-r--r-- 2014-04-28 15:29 +0200 1964 font_info.scala
-rw-r--r-- 2014-04-28 15:29 +0200 2479 graphview_dockable.scala
-rw-r--r-- 2014-04-28 15:29 +0200 3167 info_dockable.scala
-rw-r--r-- 2014-04-28 15:29 +0200 9685 isabelle.scala
-rw-r--r-- 2014-04-28 15:29 +0200 1669 isabelle_encoding.scala
-rw-r--r-- 2014-04-28 15:29 +0200 2443 isabelle_logic.scala
-rw-r--r-- 2014-04-28 15:29 +0200 1587 isabelle_options.scala
-rw-r--r-- 2014-04-28 15:29 +0200 6943 isabelle_sidekick.scala
-rw-r--r-- 2014-04-28 15:29 +0200 9368 jEdit.props
-rw-r--r-- 2014-04-28 15:29 +0200 7424 jedit_editor.scala
-rw-r--r-- 2014-04-28 15:29 +0200 11002 jedit_lib.scala
-rw-r--r-- 2014-04-28 15:29 +0200 3383 jedit_options.scala
-rw-r--r-- 2014-04-28 15:29 +0200 3213 jedit_resources.scala
-rw-r--r-- 2014-04-28 15:29 +0200 1266 monitor_dockable.scala
-rw-r--r-- 2014-04-28 15:29 +0200 4495 output_dockable.scala
-rw-r--r-- 2014-04-28 15:29 +0200 11128 plugin.scala
-rw-r--r-- 2014-04-28 15:29 +0200 7074 pretty_text_area.scala
-rw-r--r-- 2014-04-28 15:29 +0200 7361 pretty_tooltip.scala
-rw-r--r-- 2014-04-28 15:29 +0200 1541 process_indicator.scala
-rw-r--r-- 2014-04-28 15:29 +0200 861 protocol_dockable.scala
-rw-r--r-- 2014-04-28 15:29 +0200 870 raw_output_dockable.scala
-rw-r--r-- 2014-04-28 15:29 +0200 27221 rendering.scala
-rw-r--r-- 2014-04-28 15:29 +0200 22437 rich_text_area.scala
-rw-r--r-- 2014-04-28 15:29 +0200 5024 scala_console.scala
-rw-r--r-- 2014-04-28 15:29 +0200 1099 services.xml
-rw-r--r-- 2014-04-28 15:29 +0200 5960 simplifier_trace_dockable.scala
-rw-r--r-- 2014-04-28 15:29 +0200 6383 simplifier_trace_window.scala
-rw-r--r-- 2014-04-28 15:29 +0200 4474 sledgehammer_dockable.scala
-rw-r--r-- 2014-04-28 15:29 +0200 9060 spell_checker.scala
-rw-r--r-- 2014-04-28 15:29 +0200 3512 symbols_dockable.scala
-rw-r--r-- 2014-04-28 15:29 +0200 904 syslog_dockable.scala
-rw-r--r-- 2014-04-28 15:29 +0200 5048 text_overview.scala
-rw-r--r-- 2014-04-28 15:29 +0200 7935 theories_dockable.scala
-rw-r--r-- 2014-04-28 15:29 +0200 6503 timing_dockable.scala
-rw-r--r-- 2014-04-28 15:29 +0200 9254 token_markup.scala