/src/Tools/jEdit/src/
drwxr-xr-x [up]
drwxr-xr-x modes
-rw-r--r-- 2014-03-25 16:11 +0100 3101 Isabelle.props
-rw-r--r-- 2014-03-25 16:11 +0100 2390 actions.xml
-rw-r--r-- 2014-03-25 16:11 +0100 2479 active.scala
-rw-r--r-- 2014-03-25 16:11 +0100 19386 completion_popup.scala
-rw-r--r-- 2014-03-25 16:11 +0100 932 dockable.scala
-rw-r--r-- 2014-03-25 16:11 +0100 1794 dockables.xml
-rw-r--r-- 2014-03-25 16:11 +0100 7376 document_model.scala
-rw-r--r-- 2014-03-25 16:11 +0100 8495 document_view.scala
-rw-r--r-- 2014-03-25 16:11 +0100 3029 documentation_dockable.scala
-rw-r--r-- 2014-03-25 16:11 +0100 4714 find_dockable.scala
-rw-r--r-- 2014-03-25 16:11 +0100 1129 fold_handling.scala
-rw-r--r-- 2014-03-25 16:11 +0100 1963 font_info.scala
-rw-r--r-- 2014-03-25 16:11 +0100 2478 graphview_dockable.scala
-rw-r--r-- 2014-03-25 16:11 +0100 3296 info_dockable.scala
-rw-r--r-- 2014-03-25 16:11 +0100 8925 isabelle.scala
-rw-r--r-- 2014-03-25 16:11 +0100 1669 isabelle_encoding.scala
-rw-r--r-- 2014-03-25 16:11 +0100 2442 isabelle_logic.scala
-rw-r--r-- 2014-03-25 16:11 +0100 1504 isabelle_options.scala
-rw-r--r-- 2014-03-25 16:11 +0100 6888 isabelle_sidekick.scala
-rw-r--r-- 2014-03-25 16:11 +0100 8923 jEdit.props
-rw-r--r-- 2014-03-25 16:11 +0100 6790 jedit_editor.scala
-rw-r--r-- 2014-03-25 16:11 +0100 10243 jedit_lib.scala
-rw-r--r-- 2014-03-25 16:11 +0100 3293 jedit_options.scala
-rw-r--r-- 2014-03-25 16:11 +0100 3366 jedit_resources.scala
-rw-r--r-- 2014-03-25 16:11 +0100 1427 monitor_dockable.scala
-rw-r--r-- 2014-03-25 16:11 +0100 4542 output_dockable.scala
-rw-r--r-- 2014-03-25 16:11 +0100 11118 plugin.scala
-rw-r--r-- 2014-03-25 16:11 +0100 6909 pretty_text_area.scala
-rw-r--r-- 2014-03-25 16:11 +0100 6729 pretty_tooltip.scala
-rw-r--r-- 2014-03-25 16:11 +0100 1494 process_indicator.scala
-rw-r--r-- 2014-03-25 16:11 +0100 1015 protocol_dockable.scala
-rw-r--r-- 2014-03-25 16:11 +0100 1023 raw_output_dockable.scala
-rw-r--r-- 2014-03-25 16:11 +0100 27139 rendering.scala
-rw-r--r-- 2014-03-25 16:11 +0100 20086 rich_text_area.scala
-rw-r--r-- 2014-03-25 16:11 +0100 5024 scala_console.scala
-rw-r--r-- 2014-03-25 16:11 +0100 932 services.xml
-rw-r--r-- 2014-03-25 16:11 +0100 6012 simplifier_trace_dockable.scala
-rw-r--r-- 2014-03-25 16:11 +0100 6404 simplifier_trace_window.scala
-rw-r--r-- 2014-03-25 16:11 +0100 5105 sledgehammer_dockable.scala
-rw-r--r-- 2014-03-25 16:11 +0100 3125 symbols_dockable.scala
-rw-r--r-- 2014-03-25 16:11 +0100 1061 syslog_dockable.scala
-rw-r--r-- 2014-03-25 16:11 +0100 5047 text_overview.scala
-rw-r--r-- 2014-03-25 16:11 +0100 7626 theories_dockable.scala
-rw-r--r-- 2014-03-25 16:11 +0100 6648 timing_dockable.scala
-rw-r--r-- 2014-03-25 16:11 +0100 9253 token_markup.scala