/src/Tools/jEdit/src/
drwxr-xr-x [up]
drwxr-xr-x modes
-rw-r--r-- 2017-06-05 23:55 +0200 3342 Isabelle.props
-rw-r--r-- 2017-06-05 23:55 +0200 4211 actions.xml
-rw-r--r-- 2017-06-05 23:55 +0200 2899 active.scala
-rw-r--r-- 2017-06-05 23:55 +0200 7349 bibtex_jedit.scala
-rw-r--r-- 2017-06-05 23:55 +0200 24219 completion_popup.scala
-rw-r--r-- 2017-06-05 23:55 +0200 1060 context_menu.scala
-rw-r--r-- 2017-06-05 23:55 +0200 10991 debugger_dockable.scala
-rw-r--r-- 2017-06-05 23:55 +0200 1005 dockable.scala
-rw-r--r-- 2017-06-05 23:55 +0200 2032 dockables.xml
-rw-r--r-- 2017-06-05 23:55 +0200 20280 document_model.scala
-rw-r--r-- 2017-06-05 23:55 +0200 7575 document_view.scala
-rw-r--r-- 2017-06-05 23:55 +0200 3297 documentation_dockable.scala
-rw-r--r-- 2017-06-05 23:55 +0200 2188 fold_handling.scala
-rw-r--r-- 2017-06-05 23:55 +0200 2074 font_info.scala
-rw-r--r-- 2017-06-05 23:55 +0200 4311 graphview_dockable.scala
-rw-r--r-- 2017-06-05 23:55 +0200 3136 info_dockable.scala
-rw-r--r-- 2017-06-05 23:55 +0200 15113 isabelle.scala
-rw-r--r-- 2017-06-05 23:55 +0200 1771 isabelle_encoding.scala
-rw-r--r-- 2017-06-05 23:55 +0200 1614 isabelle_options.scala
-rw-r--r-- 2017-06-05 23:55 +0200 8707 isabelle_sidekick.scala
-rw-r--r-- 2017-06-05 23:55 +0200 10518 jEdit.props
-rw-r--r-- 2017-06-05 23:55 +0200 9672 jedit_editor.scala
-rw-r--r-- 2017-06-05 23:55 +0200 12058 jedit_lib.scala
-rw-r--r-- 2017-06-05 23:55 +0200 4016 jedit_options.scala
-rw-r--r-- 2017-06-05 23:55 +0200 15786 jedit_rendering.scala
-rw-r--r-- 2017-06-05 23:55 +0200 4389 jedit_resources.scala
-rw-r--r-- 2017-06-05 23:55 +0200 4059 jedit_sessions.scala
-rw-r--r-- 2017-06-05 23:55 +0200 3821 jedit_spell_checker.scala
-rw-r--r-- 2017-06-05 23:55 +0200 8527 keymap_merge.scala
-rw-r--r-- 2017-06-05 23:55 +0200 3306 monitor_dockable.scala
-rw-r--r-- 2017-06-05 23:55 +0200 4444 output_dockable.scala
-rw-r--r-- 2017-06-05 23:55 +0200 2244 pide_docking_framework.scala
-rw-r--r-- 2017-06-05 23:55 +0200 12731 plugin.scala
-rw-r--r-- 2017-06-05 23:55 +0200 9596 pretty_text_area.scala
-rw-r--r-- 2017-06-05 23:55 +0200 7351 pretty_tooltip.scala
-rw-r--r-- 2017-06-05 23:55 +0200 1541 process_indicator.scala
-rw-r--r-- 2017-06-05 23:55 +0200 1283 protocol_dockable.scala
-rw-r--r-- 2017-06-05 23:55 +0200 10376 query_dockable.scala
-rw-r--r-- 2017-06-05 23:55 +0200 868 raw_output_dockable.scala
-rw-r--r-- 2017-06-05 23:55 +0200 24807 rich_text_area.scala
-rw-r--r-- 2017-06-05 23:55 +0200 6014 scala_console.scala
-rw-r--r-- 2017-06-05 23:55 +0200 1884 services.xml
-rw-r--r-- 2017-06-05 23:55 +0200 4763 session_build.scala
-rw-r--r-- 2017-06-05 23:55 +0200 5055 simplifier_trace_dockable.scala
-rw-r--r-- 2017-06-05 23:55 +0200 5687 simplifier_trace_window.scala
-rw-r--r-- 2017-06-05 23:55 +0200 4879 sledgehammer_dockable.scala
-rw-r--r-- 2017-06-05 23:55 +0200 3832 state_dockable.scala
-rw-r--r-- 2017-06-05 23:55 +0200 6719 symbols_dockable.scala
-rw-r--r-- 2017-06-05 23:55 +0200 5689 syntax_style.scala
-rw-r--r-- 2017-06-05 23:55 +0200 916 syslog_dockable.scala
-rw-r--r-- 2017-06-05 23:55 +0200 5575 text_overview.scala
-rw-r--r-- 2017-06-05 23:55 +0200 13377 text_structure.scala
-rw-r--r-- 2017-06-05 23:55 +0200 7853 theories_dockable.scala
-rw-r--r-- 2017-06-05 23:55 +0200 6515 timing_dockable.scala
-rw-r--r-- 2017-06-05 23:55 +0200 11111 token_markup.scala