/src/Tools/jEdit/src/
drwxr-xr-x [up]
drwxr-xr-x modes
-rw-r--r-- 2014-11-20 17:29 +0100 3183 Isabelle.props
-rw-r--r-- 2014-11-20 17:29 +0100 3348 actions.xml
-rw-r--r-- 2014-11-20 17:29 +0100 2838 active.scala
-rw-r--r-- 2014-11-20 17:29 +0100 8078 bibtex_jedit.scala
-rw-r--r-- 2014-11-20 17:29 +0100 24126 completion_popup.scala
-rw-r--r-- 2014-11-20 17:29 +0100 918 context_menu.scala
-rw-r--r-- 2014-11-20 17:29 +0100 1005 dockable.scala
-rw-r--r-- 2014-11-20 17:29 +0100 1796 dockables.xml
-rw-r--r-- 2014-11-20 17:29 +0100 7885 document_model.scala
-rw-r--r-- 2014-11-20 17:29 +0100 8457 document_view.scala
-rw-r--r-- 2014-11-20 17:29 +0100 3809 documentation_dockable.scala
-rw-r--r-- 2014-11-20 17:29 +0100 2179 fold_handling.scala
-rw-r--r-- 2014-11-20 17:29 +0100 2074 font_info.scala
-rw-r--r-- 2014-11-20 17:29 +0100 2475 graphview_dockable.scala
-rw-r--r-- 2014-11-20 17:29 +0100 3125 info_dockable.scala
-rw-r--r-- 2014-11-20 17:29 +0100 10330 isabelle.scala
-rw-r--r-- 2014-11-20 17:29 +0100 1669 isabelle_encoding.scala
-rw-r--r-- 2014-11-20 17:29 +0100 2555 isabelle_logic.scala
-rw-r--r-- 2014-11-20 17:29 +0100 1587 isabelle_options.scala
-rw-r--r-- 2014-11-20 17:29 +0100 7777 isabelle_sidekick.scala
-rw-r--r-- 2014-11-20 17:29 +0100 9539 jEdit.props
-rw-r--r-- 2014-11-20 17:29 +0100 8441 jedit_editor.scala
-rw-r--r-- 2014-11-20 17:29 +0100 11249 jedit_lib.scala
-rw-r--r-- 2014-11-20 17:29 +0100 3379 jedit_options.scala
-rw-r--r-- 2014-11-20 17:29 +0100 3410 jedit_resources.scala
-rw-r--r-- 2014-11-20 17:29 +0100 2196 monitor_dockable.scala
-rw-r--r-- 2014-11-20 17:29 +0100 4242 output_dockable.scala
-rw-r--r-- 2014-11-20 17:29 +0100 2298 pide_docking_framework.scala
-rw-r--r-- 2014-11-20 17:29 +0100 12740 plugin.scala
-rw-r--r-- 2014-11-20 17:29 +0100 9092 pretty_text_area.scala
-rw-r--r-- 2014-11-20 17:29 +0100 7333 pretty_tooltip.scala
-rw-r--r-- 2014-11-20 17:29 +0100 1541 process_indicator.scala
-rw-r--r-- 2014-11-20 17:29 +0100 857 protocol_dockable.scala
-rw-r--r-- 2014-11-20 17:29 +0100 10183 query_dockable.scala
-rw-r--r-- 2014-11-20 17:29 +0100 868 raw_output_dockable.scala
-rw-r--r-- 2014-11-20 17:29 +0100 28750 rendering.scala
-rw-r--r-- 2014-11-20 17:29 +0100 23133 rich_text_area.scala
-rw-r--r-- 2014-11-20 17:29 +0100 6500 scala_console.scala
-rw-r--r-- 2014-11-20 17:29 +0100 1503 services.xml
-rw-r--r-- 2014-11-20 17:29 +0100 5158 simplifier_trace_dockable.scala
-rw-r--r-- 2014-11-20 17:29 +0100 5687 simplifier_trace_window.scala
-rw-r--r-- 2014-11-20 17:29 +0100 4456 sledgehammer_dockable.scala
-rw-r--r-- 2014-11-20 17:29 +0100 11383 spell_checker.scala
-rw-r--r-- 2014-11-20 17:29 +0100 6344 structure_matching.scala
-rw-r--r-- 2014-11-20 17:29 +0100 3500 symbols_dockable.scala
-rw-r--r-- 2014-11-20 17:29 +0100 916 syslog_dockable.scala
-rw-r--r-- 2014-11-20 17:29 +0100 5044 text_overview.scala
-rw-r--r-- 2014-11-20 17:29 +0100 7984 theories_dockable.scala
-rw-r--r-- 2014-11-20 17:29 +0100 6495 timing_dockable.scala
-rw-r--r-- 2014-11-20 17:29 +0100 13977 token_markup.scala