/src/Tools/jEdit/src/
drwxr-xr-x [up]
drwxr-xr-x modes
-rw-r--r-- 2019-03-25 17:21 +0100 3520 Isabelle.props
-rw-r--r-- 2019-03-25 17:21 +0100 4743 actions.xml
-rw-r--r-- 2019-03-25 17:21 +0100 3222 active.scala
-rw-r--r-- 2019-03-25 17:21 +0100 21715 completion_popup.scala
-rw-r--r-- 2019-03-25 17:21 +0100 1060 context_menu.scala
-rw-r--r-- 2019-03-25 17:21 +0100 10981 debugger_dockable.scala
-rw-r--r-- 2019-03-25 17:21 +0100 2032 dockables.xml
-rw-r--r-- 2019-03-25 17:21 +0100 21593 document_model.scala
-rw-r--r-- 2019-03-25 17:21 +0100 7738 document_view.scala
-rw-r--r-- 2019-03-25 17:21 +0100 3331 documentation_dockable.scala
-rw-r--r-- 2019-03-25 17:21 +0100 2191 fold_handling.scala
-rw-r--r-- 2019-03-25 17:21 +0100 2074 font_info.scala
-rw-r--r-- 2019-03-25 17:21 +0100 4407 graphview_dockable.scala
-rw-r--r-- 2019-03-25 17:21 +0100 3146 info_dockable.scala
-rw-r--r-- 2019-03-25 17:21 +0100 16224 isabelle.scala
-rw-r--r-- 2019-03-25 17:21 +0100 496 isabelle_encoding.scala
-rw-r--r-- 2019-03-25 17:21 +0100 3302 isabelle_export.scala
-rw-r--r-- 2019-03-25 17:21 +0100 1608 isabelle_options.scala
-rw-r--r-- 2019-03-25 17:21 +0100 2836 isabelle_session.scala
-rw-r--r-- 2019-03-25 17:21 +0100 8678 isabelle_sidekick.scala
-rw-r--r-- 2019-03-25 17:21 +0100 2568 isabelle_vfs.scala
-rw-r--r-- 2019-03-25 17:21 +0100 11112 jEdit.props
-rw-r--r-- 2019-03-25 17:21 +0100 6122 jedit_bibtex.scala
-rw-r--r-- 2019-03-25 17:21 +0100 10127 jedit_editor.scala
-rw-r--r-- 2019-03-25 17:21 +0100 11812 jedit_lib.scala
-rw-r--r-- 2019-03-25 17:21 +0100 4016 jedit_options.scala
-rw-r--r-- 2019-03-25 17:21 +0100 14234 jedit_rendering.scala
-rw-r--r-- 2019-03-25 17:21 +0100 4755 jedit_resources.scala
-rw-r--r-- 2019-03-25 17:21 +0100 4852 jedit_sessions.scala
-rw-r--r-- 2019-03-25 17:21 +0100 3029 jedit_spell_checker.scala
-rw-r--r-- 2019-03-25 17:21 +0100 8521 keymap_merge.scala
-rw-r--r-- 2019-03-25 17:21 +0100 3312 monitor_dockable.scala
-rw-r--r-- 2019-03-25 17:21 +0100 4466 output_dockable.scala
-rw-r--r-- 2019-03-25 17:21 +0100 14143 plugin.scala
-rw-r--r-- 2019-03-25 17:21 +0100 9697 pretty_text_area.scala
-rw-r--r-- 2019-03-25 17:21 +0100 7407 pretty_tooltip.scala
-rw-r--r-- 2019-03-25 17:21 +0100 1541 process_indicator.scala
-rw-r--r-- 2019-03-25 17:21 +0100 1293 protocol_dockable.scala
-rw-r--r-- 2019-03-25 17:21 +0100 10325 query_dockable.scala
-rw-r--r-- 2019-03-25 17:21 +0100 904 raw_output_dockable.scala
-rw-r--r-- 2019-03-25 17:21 +0100 24784 rich_text_area.scala
-rw-r--r-- 2019-03-25 17:21 +0100 6015 scala_console.scala
-rw-r--r-- 2019-03-25 17:21 +0100 1870 services.xml
-rw-r--r-- 2019-03-25 17:21 +0100 4708 session_build.scala
-rw-r--r-- 2019-03-25 17:21 +0100 5178 simplifier_trace_dockable.scala
-rw-r--r-- 2019-03-25 17:21 +0100 5652 simplifier_trace_window.scala
-rw-r--r-- 2019-03-25 17:21 +0100 4891 sledgehammer_dockable.scala
-rw-r--r-- 2019-03-25 17:21 +0100 3837 state_dockable.scala
-rw-r--r-- 2019-03-25 17:21 +0100 6822 symbols_dockable.scala
-rw-r--r-- 2019-03-25 17:21 +0100 6349 syntax_style.scala
-rw-r--r-- 2019-03-25 17:21 +0100 952 syslog_dockable.scala
-rw-r--r-- 2019-03-25 17:21 +0100 5575 text_overview.scala
-rw-r--r-- 2019-03-25 17:21 +0100 14307 text_structure.scala
-rw-r--r-- 2019-03-25 17:21 +0100 8857 theories_dockable.scala
-rw-r--r-- 2019-03-25 17:21 +0100 6637 timing_dockable.scala
-rw-r--r-- 2019-03-25 17:21 +0100 11072 token_markup.scala