/src/Tools/jEdit/src/
drwxr-xr-x [up]
drwxr-xr-x modes
-rw-r--r-- 2014-03-05 13:11 +0100 3101 Isabelle.props
-rw-r--r-- 2014-03-05 13:11 +0100 2390 actions.xml
-rw-r--r-- 2014-03-05 13:11 +0100 2479 active.scala
-rw-r--r-- 2014-03-05 13:11 +0100 18003 completion_popup.scala
-rw-r--r-- 2014-03-05 13:11 +0100 932 dockable.scala
-rw-r--r-- 2014-03-05 13:11 +0100 1794 dockables.xml
-rw-r--r-- 2014-03-05 13:11 +0100 7374 document_model.scala
-rw-r--r-- 2014-03-05 13:11 +0100 8495 document_view.scala
-rw-r--r-- 2014-03-05 13:11 +0100 3029 documentation_dockable.scala
-rw-r--r-- 2014-03-05 13:11 +0100 4713 find_dockable.scala
-rw-r--r-- 2014-03-05 13:11 +0100 1129 fold_handling.scala
-rw-r--r-- 2014-03-05 13:11 +0100 1963 font_info.scala
-rw-r--r-- 2014-03-05 13:11 +0100 2478 graphview_dockable.scala
-rw-r--r-- 2014-03-05 13:11 +0100 3296 info_dockable.scala
-rw-r--r-- 2014-03-05 13:11 +0100 8807 isabelle.scala
-rw-r--r-- 2014-03-05 13:11 +0100 1669 isabelle_encoding.scala
-rw-r--r-- 2014-03-05 13:11 +0100 2442 isabelle_logic.scala
-rw-r--r-- 2014-03-05 13:11 +0100 1504 isabelle_options.scala
-rw-r--r-- 2014-03-05 13:11 +0100 6887 isabelle_sidekick.scala
-rw-r--r-- 2014-03-05 13:11 +0100 8923 jEdit.props
-rw-r--r-- 2014-03-05 13:11 +0100 6790 jedit_editor.scala
-rw-r--r-- 2014-03-05 13:11 +0100 10243 jedit_lib.scala
-rw-r--r-- 2014-03-05 13:11 +0100 3293 jedit_options.scala
-rw-r--r-- 2014-03-05 13:11 +0100 3330 jedit_thy_load.scala
-rw-r--r-- 2014-03-05 13:11 +0100 1427 monitor_dockable.scala
-rw-r--r-- 2014-03-05 13:11 +0100 4542 output_dockable.scala
-rw-r--r-- 2014-03-05 13:11 +0100 11107 plugin.scala
-rw-r--r-- 2014-03-05 13:11 +0100 6909 pretty_text_area.scala
-rw-r--r-- 2014-03-05 13:11 +0100 6729 pretty_tooltip.scala
-rw-r--r-- 2014-03-05 13:11 +0100 1494 process_indicator.scala
-rw-r--r-- 2014-03-05 13:11 +0100 1015 protocol_dockable.scala
-rw-r--r-- 2014-03-05 13:11 +0100 1023 raw_output_dockable.scala
-rw-r--r-- 2014-03-05 13:11 +0100 26696 rendering.scala
-rw-r--r-- 2014-03-05 13:11 +0100 20082 rich_text_area.scala
-rw-r--r-- 2014-03-05 13:11 +0100 5024 scala_console.scala
-rw-r--r-- 2014-03-05 13:11 +0100 932 services.xml
-rw-r--r-- 2014-03-05 13:11 +0100 6012 simplifier_trace_dockable.scala
-rw-r--r-- 2014-03-05 13:11 +0100 6404 simplifier_trace_window.scala
-rw-r--r-- 2014-03-05 13:11 +0100 5105 sledgehammer_dockable.scala
-rw-r--r-- 2014-03-05 13:11 +0100 3125 symbols_dockable.scala
-rw-r--r-- 2014-03-05 13:11 +0100 1061 syslog_dockable.scala
-rw-r--r-- 2014-03-05 13:11 +0100 5047 text_overview.scala
-rw-r--r-- 2014-03-05 13:11 +0100 7625 theories_dockable.scala
-rw-r--r-- 2014-03-05 13:11 +0100 6647 timing_dockable.scala
-rw-r--r-- 2014-03-05 13:11 +0100 9221 token_markup.scala