/src/Tools/jEdit/src/
drwxr-xr-x [up]
drwxr-xr-x modes
-rw-r--r-- 2017-12-04 22:52 +0100 3416 Isabelle.props
-rw-r--r-- 2017-12-04 22:52 +0100 4211 actions.xml
-rw-r--r-- 2017-12-04 22:52 +0100 2898 active.scala
-rw-r--r-- 2017-12-04 22:52 +0100 21715 completion_popup.scala
-rw-r--r-- 2017-12-04 22:52 +0100 1060 context_menu.scala
-rw-r--r-- 2017-12-04 22:52 +0100 11015 debugger_dockable.scala
-rw-r--r-- 2017-12-04 22:52 +0100 2032 dockables.xml
-rw-r--r-- 2017-12-04 22:52 +0100 21275 document_model.scala
-rw-r--r-- 2017-12-04 22:52 +0100 7584 document_view.scala
-rw-r--r-- 2017-12-04 22:52 +0100 3331 documentation_dockable.scala
-rw-r--r-- 2017-12-04 22:52 +0100 2191 fold_handling.scala
-rw-r--r-- 2017-12-04 22:52 +0100 2074 font_info.scala
-rw-r--r-- 2017-12-04 22:52 +0100 4413 graphview_dockable.scala
-rw-r--r-- 2017-12-04 22:52 +0100 3146 info_dockable.scala
-rw-r--r-- 2017-12-04 22:52 +0100 15142 isabelle.scala
-rw-r--r-- 2017-12-04 22:52 +0100 496 isabelle_encoding.scala
-rw-r--r-- 2017-12-04 22:52 +0100 1608 isabelle_options.scala
-rw-r--r-- 2017-12-04 22:52 +0100 8707 isabelle_sidekick.scala
-rw-r--r-- 2017-12-04 22:52 +0100 10571 jEdit.props
-rw-r--r-- 2017-12-04 22:52 +0100 6123 jedit_bibtex.scala
-rw-r--r-- 2017-12-04 22:52 +0100 10122 jedit_editor.scala
-rw-r--r-- 2017-12-04 22:52 +0100 11485 jedit_lib.scala
-rw-r--r-- 2017-12-04 22:52 +0100 4016 jedit_options.scala
-rw-r--r-- 2017-12-04 22:52 +0100 14183 jedit_rendering.scala
-rw-r--r-- 2017-12-04 22:52 +0100 4715 jedit_resources.scala
-rw-r--r-- 2017-12-04 22:52 +0100 4672 jedit_sessions.scala
-rw-r--r-- 2017-12-04 22:52 +0100 3029 jedit_spell_checker.scala
-rw-r--r-- 2017-12-04 22:52 +0100 8519 keymap_merge.scala
-rw-r--r-- 2017-12-04 22:52 +0100 3312 monitor_dockable.scala
-rw-r--r-- 2017-12-04 22:52 +0100 4466 output_dockable.scala
-rw-r--r-- 2017-12-04 22:52 +0100 13156 plugin.scala
-rw-r--r-- 2017-12-04 22:52 +0100 9650 pretty_text_area.scala
-rw-r--r-- 2017-12-04 22:52 +0100 7351 pretty_tooltip.scala
-rw-r--r-- 2017-12-04 22:52 +0100 1541 process_indicator.scala
-rw-r--r-- 2017-12-04 22:52 +0100 1293 protocol_dockable.scala
-rw-r--r-- 2017-12-04 22:52 +0100 10342 query_dockable.scala
-rw-r--r-- 2017-12-04 22:52 +0100 904 raw_output_dockable.scala
-rw-r--r-- 2017-12-04 22:52 +0100 24797 rich_text_area.scala
-rw-r--r-- 2017-12-04 22:52 +0100 6010 scala_console.scala
-rw-r--r-- 2017-12-04 22:52 +0100 1616 services.xml
-rw-r--r-- 2017-12-04 22:52 +0100 4754 session_build.scala
-rw-r--r-- 2017-12-04 22:52 +0100 5178 simplifier_trace_dockable.scala
-rw-r--r-- 2017-12-04 22:52 +0100 5652 simplifier_trace_window.scala
-rw-r--r-- 2017-12-04 22:52 +0100 4891 sledgehammer_dockable.scala
-rw-r--r-- 2017-12-04 22:52 +0100 3837 state_dockable.scala
-rw-r--r-- 2017-12-04 22:52 +0100 6840 symbols_dockable.scala
-rw-r--r-- 2017-12-04 22:52 +0100 6341 syntax_style.scala
-rw-r--r-- 2017-12-04 22:52 +0100 952 syslog_dockable.scala
-rw-r--r-- 2017-12-04 22:52 +0100 5575 text_overview.scala
-rw-r--r-- 2017-12-04 22:52 +0100 14317 text_structure.scala
-rw-r--r-- 2017-12-04 22:52 +0100 9514 theories_dockable.scala
-rw-r--r-- 2017-12-04 22:52 +0100 6550 timing_dockable.scala
-rw-r--r-- 2017-12-04 22:52 +0100 11072 token_markup.scala