/src/Tools/jEdit/src/
drwxr-xr-x [up]
drwxr-xr-x modes
-rw-r--r-- 2016-09-01 17:35 +0200 3342 Isabelle.props
-rw-r--r-- 2016-09-01 17:35 +0200 4090 actions.xml
-rw-r--r-- 2016-09-01 17:35 +0200 2897 active.scala
-rw-r--r-- 2016-09-01 17:35 +0200 8210 bibtex_jedit.scala
-rw-r--r-- 2016-09-01 17:35 +0200 24188 completion_popup.scala
-rw-r--r-- 2016-09-01 17:35 +0200 1050 context_menu.scala
-rw-r--r-- 2016-09-01 17:35 +0200 11107 debugger_dockable.scala
-rw-r--r-- 2016-09-01 17:35 +0200 1005 dockable.scala
-rw-r--r-- 2016-09-01 17:35 +0200 2032 dockables.xml
-rw-r--r-- 2016-09-01 17:35 +0200 9962 document_model.scala
-rw-r--r-- 2016-09-01 17:35 +0200 7678 document_view.scala
-rw-r--r-- 2016-09-01 17:35 +0200 3295 documentation_dockable.scala
-rw-r--r-- 2016-09-01 17:35 +0200 2182 fold_handling.scala
-rw-r--r-- 2016-09-01 17:35 +0200 2074 font_info.scala
-rw-r--r-- 2016-09-01 17:35 +0200 4301 graphview_dockable.scala
-rw-r--r-- 2016-09-01 17:35 +0200 3202 info_dockable.scala
-rw-r--r-- 2016-09-01 17:35 +0200 15055 isabelle.scala
-rw-r--r-- 2016-09-01 17:35 +0200 1771 isabelle_encoding.scala
-rw-r--r-- 2016-09-01 17:35 +0200 1587 isabelle_options.scala
-rw-r--r-- 2016-09-01 17:35 +0200 8762 isabelle_sidekick.scala
-rw-r--r-- 2016-09-01 17:35 +0200 10244 jEdit.props
-rw-r--r-- 2016-09-01 17:35 +0200 11309 jedit_editor.scala
-rw-r--r-- 2016-09-01 17:35 +0200 11684 jedit_lib.scala
-rw-r--r-- 2016-09-01 17:35 +0200 3972 jedit_options.scala
-rw-r--r-- 2016-09-01 17:35 +0200 3739 jedit_resources.scala
-rw-r--r-- 2016-09-01 17:35 +0200 3154 jedit_sessions.scala
-rw-r--r-- 2016-09-01 17:35 +0200 8619 keymap_merge.scala
-rw-r--r-- 2016-09-01 17:35 +0200 3352 monitor_dockable.scala
-rw-r--r-- 2016-09-01 17:35 +0200 5078 output_dockable.scala
-rw-r--r-- 2016-09-01 17:35 +0200 2244 pide_docking_framework.scala
-rw-r--r-- 2016-09-01 17:35 +0200 13660 plugin.scala
-rw-r--r-- 2016-09-01 17:35 +0200 9551 pretty_text_area.scala
-rw-r--r-- 2016-09-01 17:35 +0200 7333 pretty_tooltip.scala
-rw-r--r-- 2016-09-01 17:35 +0200 1541 process_indicator.scala
-rw-r--r-- 2016-09-01 17:35 +0200 1283 protocol_dockable.scala
-rw-r--r-- 2016-09-01 17:35 +0200 10384 query_dockable.scala
-rw-r--r-- 2016-09-01 17:35 +0200 868 raw_output_dockable.scala
-rw-r--r-- 2016-09-01 17:35 +0200 35321 rendering.scala
-rw-r--r-- 2016-09-01 17:35 +0200 24590 rich_text_area.scala
-rw-r--r-- 2016-09-01 17:35 +0200 6040 scala_console.scala
-rw-r--r-- 2016-09-01 17:35 +0200 1884 services.xml
-rw-r--r-- 2016-09-01 17:35 +0200 4629 session_build.scala
-rw-r--r-- 2016-09-01 17:35 +0200 5077 simplifier_trace_dockable.scala
-rw-r--r-- 2016-09-01 17:35 +0200 5687 simplifier_trace_window.scala
-rw-r--r-- 2016-09-01 17:35 +0200 4878 sledgehammer_dockable.scala
-rw-r--r-- 2016-09-01 17:35 +0200 11173 spell_checker.scala
-rw-r--r-- 2016-09-01 17:35 +0200 3831 state_dockable.scala
-rw-r--r-- 2016-09-01 17:35 +0200 3614 symbols_dockable.scala
-rw-r--r-- 2016-09-01 17:35 +0200 916 syslog_dockable.scala
-rw-r--r-- 2016-09-01 17:35 +0200 5477 text_overview.scala
-rw-r--r-- 2016-09-01 17:35 +0200 12477 text_structure.scala
-rw-r--r-- 2016-09-01 17:35 +0200 7990 theories_dockable.scala
-rw-r--r-- 2016-09-01 17:35 +0200 6524 timing_dockable.scala
-rw-r--r-- 2016-09-01 17:35 +0200 16550 token_markup.scala