/src/Tools/jEdit/src/
drwxr-xr-x [up]
drwxr-xr-x modes
-rw-r--r-- 2015-09-30 14:32 +0200 3356 Isabelle.props
-rw-r--r-- 2015-09-30 14:32 +0200 3602 actions.xml
-rw-r--r-- 2015-09-30 14:32 +0200 2752 active.scala
-rw-r--r-- 2015-09-30 14:32 +0200 8210 bibtex_jedit.scala
-rw-r--r-- 2015-09-30 14:32 +0200 24105 completion_popup.scala
-rw-r--r-- 2015-09-30 14:32 +0200 991 context_menu.scala
-rw-r--r-- 2015-09-30 14:32 +0200 11107 debugger_dockable.scala
-rw-r--r-- 2015-09-30 14:32 +0200 1005 dockable.scala
-rw-r--r-- 2015-09-30 14:32 +0200 2032 dockables.xml
-rw-r--r-- 2015-09-30 14:32 +0200 9150 document_model.scala
-rw-r--r-- 2015-09-30 14:32 +0200 8595 document_view.scala
-rw-r--r-- 2015-09-30 14:32 +0200 3636 documentation_dockable.scala
-rw-r--r-- 2015-09-30 14:32 +0200 2179 fold_handling.scala
-rw-r--r-- 2015-09-30 14:32 +0200 2074 font_info.scala
-rw-r--r-- 2015-09-30 14:32 +0200 4301 graphview_dockable.scala
-rw-r--r-- 2015-09-30 14:32 +0200 3202 info_dockable.scala
-rw-r--r-- 2015-09-30 14:32 +0200 11692 isabelle.scala
-rw-r--r-- 2015-09-30 14:32 +0200 1669 isabelle_encoding.scala
-rw-r--r-- 2015-09-30 14:32 +0200 2971 isabelle_logic.scala
-rw-r--r-- 2015-09-30 14:32 +0200 1587 isabelle_options.scala
-rw-r--r-- 2015-09-30 14:32 +0200 7967 isabelle_sidekick.scala
-rw-r--r-- 2015-09-30 14:32 +0200 9809 jEdit.props
-rw-r--r-- 2015-09-30 14:32 +0200 10343 jedit_editor.scala
-rw-r--r-- 2015-09-30 14:32 +0200 11377 jedit_lib.scala
-rw-r--r-- 2015-09-30 14:32 +0200 3950 jedit_options.scala
-rw-r--r-- 2015-09-30 14:32 +0200 3729 jedit_resources.scala
-rw-r--r-- 2015-09-30 14:32 +0200 2445 monitor_dockable.scala
-rw-r--r-- 2015-09-30 14:32 +0200 4319 output_dockable.scala
-rw-r--r-- 2015-09-30 14:32 +0200 2244 pide_docking_framework.scala
-rw-r--r-- 2015-09-30 14:32 +0200 13060 plugin.scala
-rw-r--r-- 2015-09-30 14:32 +0200 9064 pretty_text_area.scala
-rw-r--r-- 2015-09-30 14:32 +0200 7333 pretty_tooltip.scala
-rw-r--r-- 2015-09-30 14:32 +0200 1541 process_indicator.scala
-rw-r--r-- 2015-09-30 14:32 +0200 1283 protocol_dockable.scala
-rw-r--r-- 2015-09-30 14:32 +0200 10384 query_dockable.scala
-rw-r--r-- 2015-09-30 14:32 +0200 868 raw_output_dockable.scala
-rw-r--r-- 2015-09-30 14:32 +0200 30069 rendering.scala
-rw-r--r-- 2015-09-30 14:32 +0200 23538 rich_text_area.scala
-rw-r--r-- 2015-09-30 14:32 +0200 6500 scala_console.scala
-rw-r--r-- 2015-09-30 14:32 +0200 1503 services.xml
-rw-r--r-- 2015-09-30 14:32 +0200 4644 session_build.scala
-rw-r--r-- 2015-09-30 14:32 +0200 5077 simplifier_trace_dockable.scala
-rw-r--r-- 2015-09-30 14:32 +0200 5687 simplifier_trace_window.scala
-rw-r--r-- 2015-09-30 14:32 +0200 4889 sledgehammer_dockable.scala
-rw-r--r-- 2015-09-30 14:32 +0200 11173 spell_checker.scala
-rw-r--r-- 2015-09-30 14:32 +0200 3016 state_dockable.scala
-rw-r--r-- 2015-09-30 14:32 +0200 6380 structure_matching.scala
-rw-r--r-- 2015-09-30 14:32 +0200 3511 symbols_dockable.scala
-rw-r--r-- 2015-09-30 14:32 +0200 916 syslog_dockable.scala
-rw-r--r-- 2015-09-30 14:32 +0200 5345 text_overview.scala
-rw-r--r-- 2015-09-30 14:32 +0200 7990 theories_dockable.scala
-rw-r--r-- 2015-09-30 14:32 +0200 6524 timing_dockable.scala
-rw-r--r-- 2015-09-30 14:32 +0200 15870 token_markup.scala