/src/Tools/jEdit/src/
drwxr-xr-x [up]
drwxr-xr-x modes
-rw-r--r-- 2014-04-09 23:22 +0200 3101 Isabelle.props
-rw-r--r-- 2014-04-09 23:22 +0200 2390 actions.xml
-rw-r--r-- 2014-04-09 23:22 +0200 2490 active.scala
-rw-r--r-- 2014-04-09 23:22 +0200 20965 completion_popup.scala
-rw-r--r-- 2014-04-09 23:22 +0200 932 dockable.scala
-rw-r--r-- 2014-04-09 23:22 +0200 1794 dockables.xml
-rw-r--r-- 2014-04-09 23:22 +0200 7371 document_model.scala
-rw-r--r-- 2014-04-09 23:22 +0200 8512 document_view.scala
-rw-r--r-- 2014-04-09 23:22 +0200 3540 documentation_dockable.scala
-rw-r--r-- 2014-04-09 23:22 +0200 4714 find_dockable.scala
-rw-r--r-- 2014-04-09 23:22 +0200 1129 fold_handling.scala
-rw-r--r-- 2014-04-09 23:22 +0200 1963 font_info.scala
-rw-r--r-- 2014-04-09 23:22 +0200 2478 graphview_dockable.scala
-rw-r--r-- 2014-04-09 23:22 +0200 3296 info_dockable.scala
-rw-r--r-- 2014-04-09 23:22 +0200 8974 isabelle.scala
-rw-r--r-- 2014-04-09 23:22 +0200 1669 isabelle_encoding.scala
-rw-r--r-- 2014-04-09 23:22 +0200 2442 isabelle_logic.scala
-rw-r--r-- 2014-04-09 23:22 +0200 1504 isabelle_options.scala
-rw-r--r-- 2014-04-09 23:22 +0200 6940 isabelle_sidekick.scala
-rw-r--r-- 2014-04-09 23:22 +0200 8951 jEdit.props
-rw-r--r-- 2014-04-09 23:22 +0200 7443 jedit_editor.scala
-rw-r--r-- 2014-04-09 23:22 +0200 10335 jedit_lib.scala
-rw-r--r-- 2014-04-09 23:22 +0200 3293 jedit_options.scala
-rw-r--r-- 2014-04-09 23:22 +0200 3161 jedit_resources.scala
-rw-r--r-- 2014-04-09 23:22 +0200 1427 monitor_dockable.scala
-rw-r--r-- 2014-04-09 23:22 +0200 4671 output_dockable.scala
-rw-r--r-- 2014-04-09 23:22 +0200 11263 plugin.scala
-rw-r--r-- 2014-04-09 23:22 +0200 7053 pretty_text_area.scala
-rw-r--r-- 2014-04-09 23:22 +0200 7358 pretty_tooltip.scala
-rw-r--r-- 2014-04-09 23:22 +0200 1494 process_indicator.scala
-rw-r--r-- 2014-04-09 23:22 +0200 999 protocol_dockable.scala
-rw-r--r-- 2014-04-09 23:22 +0200 1013 raw_output_dockable.scala
-rw-r--r-- 2014-04-09 23:22 +0200 26654 rendering.scala
-rw-r--r-- 2014-04-09 23:22 +0200 21869 rich_text_area.scala
-rw-r--r-- 2014-04-09 23:22 +0200 5024 scala_console.scala
-rw-r--r-- 2014-04-09 23:22 +0200 932 services.xml
-rw-r--r-- 2014-04-09 23:22 +0200 6155 simplifier_trace_dockable.scala
-rw-r--r-- 2014-04-09 23:22 +0200 6404 simplifier_trace_window.scala
-rw-r--r-- 2014-04-09 23:22 +0200 5105 sledgehammer_dockable.scala
-rw-r--r-- 2014-04-09 23:22 +0200 3125 symbols_dockable.scala
-rw-r--r-- 2014-04-09 23:22 +0200 1051 syslog_dockable.scala
-rw-r--r-- 2014-04-09 23:22 +0200 5047 text_overview.scala
-rw-r--r-- 2014-04-09 23:22 +0200 8123 theories_dockable.scala
-rw-r--r-- 2014-04-09 23:22 +0200 6649 timing_dockable.scala
-rw-r--r-- 2014-04-09 23:22 +0200 9253 token_markup.scala