/src/Tools/jEdit/src/
drwxr-xr-x [up]
drwxr-xr-x modes
-rw-r--r-- 2017-03-15 19:39 +0100 3342 Isabelle.props
-rw-r--r-- 2017-03-15 19:39 +0100 4090 actions.xml
-rw-r--r-- 2017-03-15 19:39 +0100 2899 active.scala
-rw-r--r-- 2017-03-15 19:39 +0100 7349 bibtex_jedit.scala
-rw-r--r-- 2017-03-15 19:39 +0100 24245 completion_popup.scala
-rw-r--r-- 2017-03-15 19:39 +0100 1060 context_menu.scala
-rw-r--r-- 2017-03-15 19:39 +0100 10991 debugger_dockable.scala
-rw-r--r-- 2017-03-15 19:39 +0100 1005 dockable.scala
-rw-r--r-- 2017-03-15 19:39 +0100 2032 dockables.xml
-rw-r--r-- 2017-03-15 19:39 +0100 18733 document_model.scala
-rw-r--r-- 2017-03-15 19:39 +0100 7656 document_view.scala
-rw-r--r-- 2017-03-15 19:39 +0100 3297 documentation_dockable.scala
-rw-r--r-- 2017-03-15 19:39 +0100 2188 fold_handling.scala
-rw-r--r-- 2017-03-15 19:39 +0100 2074 font_info.scala
-rw-r--r-- 2017-03-15 19:39 +0100 4311 graphview_dockable.scala
-rw-r--r-- 2017-03-15 19:39 +0100 3136 info_dockable.scala
-rw-r--r-- 2017-03-15 19:39 +0100 15105 isabelle.scala
-rw-r--r-- 2017-03-15 19:39 +0100 1771 isabelle_encoding.scala
-rw-r--r-- 2017-03-15 19:39 +0100 1614 isabelle_options.scala
-rw-r--r-- 2017-03-15 19:39 +0100 8707 isabelle_sidekick.scala
-rw-r--r-- 2017-03-15 19:39 +0100 10518 jEdit.props
-rw-r--r-- 2017-03-15 19:39 +0100 9672 jedit_editor.scala
-rw-r--r-- 2017-03-15 19:39 +0100 11690 jedit_lib.scala
-rw-r--r-- 2017-03-15 19:39 +0100 4016 jedit_options.scala
-rw-r--r-- 2017-03-15 19:39 +0100 16984 jedit_rendering.scala
-rw-r--r-- 2017-03-15 19:39 +0100 4462 jedit_resources.scala
-rw-r--r-- 2017-03-15 19:39 +0100 3727 jedit_sessions.scala
-rw-r--r-- 2017-03-15 19:39 +0100 3821 jedit_spell_checker.scala
-rw-r--r-- 2017-03-15 19:39 +0100 8527 keymap_merge.scala
-rw-r--r-- 2017-03-15 19:39 +0100 3310 monitor_dockable.scala
-rw-r--r-- 2017-03-15 19:39 +0100 4444 output_dockable.scala
-rw-r--r-- 2017-03-15 19:39 +0100 2244 pide_docking_framework.scala
-rw-r--r-- 2017-03-15 19:39 +0100 13118 plugin.scala
-rw-r--r-- 2017-03-15 19:39 +0100 9573 pretty_text_area.scala
-rw-r--r-- 2017-03-15 19:39 +0100 7351 pretty_tooltip.scala
-rw-r--r-- 2017-03-15 19:39 +0100 1541 process_indicator.scala
-rw-r--r-- 2017-03-15 19:39 +0100 1283 protocol_dockable.scala
-rw-r--r-- 2017-03-15 19:39 +0100 10376 query_dockable.scala
-rw-r--r-- 2017-03-15 19:39 +0100 868 raw_output_dockable.scala
-rw-r--r-- 2017-03-15 19:39 +0100 24808 rich_text_area.scala
-rw-r--r-- 2017-03-15 19:39 +0100 6040 scala_console.scala
-rw-r--r-- 2017-03-15 19:39 +0100 1884 services.xml
-rw-r--r-- 2017-03-15 19:39 +0100 4755 session_build.scala
-rw-r--r-- 2017-03-15 19:39 +0100 5055 simplifier_trace_dockable.scala
-rw-r--r-- 2017-03-15 19:39 +0100 5687 simplifier_trace_window.scala
-rw-r--r-- 2017-03-15 19:39 +0100 4879 sledgehammer_dockable.scala
-rw-r--r-- 2017-03-15 19:39 +0100 3832 state_dockable.scala
-rw-r--r-- 2017-03-15 19:39 +0100 6728 symbols_dockable.scala
-rw-r--r-- 2017-03-15 19:39 +0100 5722 syntax_style.scala
-rw-r--r-- 2017-03-15 19:39 +0100 916 syslog_dockable.scala
-rw-r--r-- 2017-03-15 19:39 +0100 5524 text_overview.scala
-rw-r--r-- 2017-03-15 19:39 +0100 13377 text_structure.scala
-rw-r--r-- 2017-03-15 19:39 +0100 7844 theories_dockable.scala
-rw-r--r-- 2017-03-15 19:39 +0100 6516 timing_dockable.scala
-rw-r--r-- 2017-03-15 19:39 +0100 11111 token_markup.scala