/src/Tools/jEdit/src/
drwxr-xr-x [up]
drwxr-xr-x modes
-rw-r--r-- 2017-01-09 20:26 +0100 3342 Isabelle.props
-rw-r--r-- 2017-01-09 20:26 +0100 4090 actions.xml
-rw-r--r-- 2017-01-09 20:26 +0100 2894 active.scala
-rw-r--r-- 2017-01-09 20:26 +0100 7349 bibtex_jedit.scala
-rw-r--r-- 2017-01-09 20:26 +0100 24212 completion_popup.scala
-rw-r--r-- 2017-01-09 20:26 +0100 1050 context_menu.scala
-rw-r--r-- 2017-01-09 20:26 +0100 11107 debugger_dockable.scala
-rw-r--r-- 2017-01-09 20:26 +0100 1005 dockable.scala
-rw-r--r-- 2017-01-09 20:26 +0100 2032 dockables.xml
-rw-r--r-- 2017-01-09 20:26 +0100 15915 document_model.scala
-rw-r--r-- 2017-01-09 20:26 +0100 7654 document_view.scala
-rw-r--r-- 2017-01-09 20:26 +0100 3295 documentation_dockable.scala
-rw-r--r-- 2017-01-09 20:26 +0100 2188 fold_handling.scala
-rw-r--r-- 2017-01-09 20:26 +0100 2074 font_info.scala
-rw-r--r-- 2017-01-09 20:26 +0100 4307 graphview_dockable.scala
-rw-r--r-- 2017-01-09 20:26 +0100 3202 info_dockable.scala
-rw-r--r-- 2017-01-09 20:26 +0100 14640 isabelle.scala
-rw-r--r-- 2017-01-09 20:26 +0100 1771 isabelle_encoding.scala
-rw-r--r-- 2017-01-09 20:26 +0100 1587 isabelle_options.scala
-rw-r--r-- 2017-01-09 20:26 +0100 8761 isabelle_sidekick.scala
-rw-r--r-- 2017-01-09 20:26 +0100 10518 jEdit.props
-rw-r--r-- 2017-01-09 20:26 +0100 10163 jedit_editor.scala
-rw-r--r-- 2017-01-09 20:26 +0100 11690 jedit_lib.scala
-rw-r--r-- 2017-01-09 20:26 +0100 3972 jedit_options.scala
-rw-r--r-- 2017-01-09 20:26 +0100 27442 jedit_rendering.scala
-rw-r--r-- 2017-01-09 20:26 +0100 4376 jedit_resources.scala
-rw-r--r-- 2017-01-09 20:26 +0100 3934 jedit_sessions.scala
-rw-r--r-- 2017-01-09 20:26 +0100 8527 keymap_merge.scala
-rw-r--r-- 2017-01-09 20:26 +0100 3330 monitor_dockable.scala
-rw-r--r-- 2017-01-09 20:26 +0100 5084 output_dockable.scala
-rw-r--r-- 2017-01-09 20:26 +0100 2244 pide_docking_framework.scala
-rw-r--r-- 2017-01-09 20:26 +0100 12782 plugin.scala
-rw-r--r-- 2017-01-09 20:26 +0100 9569 pretty_text_area.scala
-rw-r--r-- 2017-01-09 20:26 +0100 7351 pretty_tooltip.scala
-rw-r--r-- 2017-01-09 20:26 +0100 1541 process_indicator.scala
-rw-r--r-- 2017-01-09 20:26 +0100 1283 protocol_dockable.scala
-rw-r--r-- 2017-01-09 20:26 +0100 10373 query_dockable.scala
-rw-r--r-- 2017-01-09 20:26 +0100 868 raw_output_dockable.scala
-rw-r--r-- 2017-01-09 20:26 +0100 24650 rich_text_area.scala
-rw-r--r-- 2017-01-09 20:26 +0100 6040 scala_console.scala
-rw-r--r-- 2017-01-09 20:26 +0100 1884 services.xml
-rw-r--r-- 2017-01-09 20:26 +0100 4629 session_build.scala
-rw-r--r-- 2017-01-09 20:26 +0100 5077 simplifier_trace_dockable.scala
-rw-r--r-- 2017-01-09 20:26 +0100 5687 simplifier_trace_window.scala
-rw-r--r-- 2017-01-09 20:26 +0100 4878 sledgehammer_dockable.scala
-rw-r--r-- 2017-01-09 20:26 +0100 11185 spell_checker.scala
-rw-r--r-- 2017-01-09 20:26 +0100 3830 state_dockable.scala
-rw-r--r-- 2017-01-09 20:26 +0100 6728 symbols_dockable.scala
-rw-r--r-- 2017-01-09 20:26 +0100 916 syslog_dockable.scala
-rw-r--r-- 2017-01-09 20:26 +0100 5496 text_overview.scala
-rw-r--r-- 2017-01-09 20:26 +0100 13378 text_structure.scala
-rw-r--r-- 2017-01-09 20:26 +0100 7623 theories_dockable.scala
-rw-r--r-- 2017-01-09 20:26 +0100 6510 timing_dockable.scala
-rw-r--r-- 2017-01-09 20:26 +0100 16578 token_markup.scala