| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 3284 | active.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 655 | base_plugin.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 21525 | completion_popup.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 1060 | context_menu.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 9020 | debugger_dockable.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 1043 | dockable.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 11671 | document_dockable.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 22280 | document_model.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 8123 | document_view.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 2471 | documentation_dockable.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 2186 | fold_handling.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 2042 | font_info.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 4905 | graphview_dockable.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 2838 | info_dockable.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 19980 | isabelle.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 1924 | isabelle_encoding.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 3340 | isabelle_export.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 2901 | isabelle_session.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 2614 | isabelle_vfs.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 4507 | jedit_bibtex.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 10428 | jedit_editor.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 677 | jedit_jar.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 14881 | jedit_lib.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 4163 | jedit_main.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 6878 | jedit_options.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 411 | jedit_plugins.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 14701 | jedit_rendering.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 4843 | jedit_resources.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 6201 | jedit_sessions.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 2952 | jedit_spell_checker.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 8595 | keymap_merge.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 13566 | main_plugin.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 3369 | monitor_dockable.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 6005 | output_area.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 3517 | output_dockable.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 2271 | pide_docking_framework.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 13375 | pretty_text_area.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 7581 | pretty_tooltip.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 1465 | process_indicator.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 923 | protocol_dockable.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 9944 | query_dockable.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 884 | raw_output_dockable.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 27072 | rich_text_area.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 4803 | session_build.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 4418 | simplifier_trace_dockable.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 5191 | simplifier_trace_window.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 4217 | sledgehammer_dockable.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 3293 | state_dockable.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 5693 | status_widget.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 6874 | symbols_dockable.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 6958 | syntax_style.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 919 | syslog_dockable.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 5729 | text_overview.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 14354 | text_structure.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 2324 | theories_dockable.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 8814 | theories_status.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 6419 | timing_dockable.scala | file | revisions | annotate |
| -rw-r--r-- | 2025-02-13 16:19 +0100 | 11292 | token_markup.scala | file | revisions | annotate |