/src/Tools/jEdit/src/
drwxr-xr-x [up]
drwxr-xr-x modes
-rw-r--r-- 2015-12-31 21:46 +0100 3355 Isabelle.props
-rw-r--r-- 2015-12-31 21:46 +0100 3726 actions.xml
-rw-r--r-- 2015-12-31 21:46 +0100 2794 active.scala
-rw-r--r-- 2015-12-31 21:46 +0100 8210 bibtex_jedit.scala
-rw-r--r-- 2015-12-31 21:46 +0100 23933 completion_popup.scala
-rw-r--r-- 2015-12-31 21:46 +0100 991 context_menu.scala
-rw-r--r-- 2015-12-31 21:46 +0100 11107 debugger_dockable.scala
-rw-r--r-- 2015-12-31 21:46 +0100 1005 dockable.scala
-rw-r--r-- 2015-12-31 21:46 +0100 2032 dockables.xml
-rw-r--r-- 2015-12-31 21:46 +0100 9364 document_model.scala
-rw-r--r-- 2015-12-31 21:46 +0100 8601 document_view.scala
-rw-r--r-- 2015-12-31 21:46 +0100 3295 documentation_dockable.scala
-rw-r--r-- 2015-12-31 21:46 +0100 2179 fold_handling.scala
-rw-r--r-- 2015-12-31 21:46 +0100 2074 font_info.scala
-rw-r--r-- 2015-12-31 21:46 +0100 4301 graphview_dockable.scala
-rw-r--r-- 2015-12-31 21:46 +0100 3202 info_dockable.scala
-rw-r--r-- 2015-12-31 21:46 +0100 11813 isabelle.scala
-rw-r--r-- 2015-12-31 21:46 +0100 1669 isabelle_encoding.scala
-rw-r--r-- 2015-12-31 21:46 +0100 2971 isabelle_logic.scala
-rw-r--r-- 2015-12-31 21:46 +0100 1587 isabelle_options.scala
-rw-r--r-- 2015-12-31 21:46 +0100 7965 isabelle_sidekick.scala
-rw-r--r-- 2015-12-31 21:46 +0100 9872 jEdit.props
-rw-r--r-- 2015-12-31 21:46 +0100 11197 jedit_editor.scala
-rw-r--r-- 2015-12-31 21:46 +0100 11377 jedit_lib.scala
-rw-r--r-- 2015-12-31 21:46 +0100 3973 jedit_options.scala
-rw-r--r-- 2015-12-31 21:46 +0100 3729 jedit_resources.scala
-rw-r--r-- 2015-12-31 21:46 +0100 3352 monitor_dockable.scala
-rw-r--r-- 2015-12-31 21:46 +0100 5052 output_dockable.scala
-rw-r--r-- 2015-12-31 21:46 +0100 2244 pide_docking_framework.scala
-rw-r--r-- 2015-12-31 21:46 +0100 13033 plugin.scala
-rw-r--r-- 2015-12-31 21:46 +0100 9433 pretty_text_area.scala
-rw-r--r-- 2015-12-31 21:46 +0100 7333 pretty_tooltip.scala
-rw-r--r-- 2015-12-31 21:46 +0100 1541 process_indicator.scala
-rw-r--r-- 2015-12-31 21:46 +0100 1283 protocol_dockable.scala
-rw-r--r-- 2015-12-31 21:46 +0100 10384 query_dockable.scala
-rw-r--r-- 2015-12-31 21:46 +0100 868 raw_output_dockable.scala
-rw-r--r-- 2015-12-31 21:46 +0100 31526 rendering.scala
-rw-r--r-- 2015-12-31 21:46 +0100 23538 rich_text_area.scala
-rw-r--r-- 2015-12-31 21:46 +0100 6498 scala_console.scala
-rw-r--r-- 2015-12-31 21:46 +0100 1503 services.xml
-rw-r--r-- 2015-12-31 21:46 +0100 4629 session_build.scala
-rw-r--r-- 2015-12-31 21:46 +0100 5077 simplifier_trace_dockable.scala
-rw-r--r-- 2015-12-31 21:46 +0100 5687 simplifier_trace_window.scala
-rw-r--r-- 2015-12-31 21:46 +0100 4878 sledgehammer_dockable.scala
-rw-r--r-- 2015-12-31 21:46 +0100 11173 spell_checker.scala
-rw-r--r-- 2015-12-31 21:46 +0100 3831 state_dockable.scala
-rw-r--r-- 2015-12-31 21:46 +0100 6380 structure_matching.scala
-rw-r--r-- 2015-12-31 21:46 +0100 3511 symbols_dockable.scala
-rw-r--r-- 2015-12-31 21:46 +0100 916 syslog_dockable.scala
-rw-r--r-- 2015-12-31 21:46 +0100 5260 text_overview.scala
-rw-r--r-- 2015-12-31 21:46 +0100 8055 theories_dockable.scala
-rw-r--r-- 2015-12-31 21:46 +0100 6524 timing_dockable.scala
-rw-r--r-- 2015-12-31 21:46 +0100 15870 token_markup.scala