Diffusion Isabelle 97ccf48c2f0c

misc tuning based on hints by IntelliJ IDEA;
97ccf48c2f0c
Actions

Tags

None

Subscribers

None

Description

misc tuning based on hints by IntelliJ IDEA;

Details

Provenance

Authored on

Parents

rISABELLE64aad1e46f98: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE97ccf48c2f0c: misc tuning based on hints by IntelliJ IDEA;.Mar 27 2020, 10:01 PM

Changes (104)
Show All Changes

Very Large Commit

This commit is very large. Load each file individually.

Path

Size

src/

Pure/

Admin/

build_history.scala

build_jdk.scala

build_release.scala

components.scala

isabelle_cronjob.scala

isabelle_devel.scala

other_isabelle.scala

General/

linear_set.scala

mercurial.scala

multi_map.scala

properties.scala

Isar/

line_structure.scala

outer_syntax.scala

ML/

ml_statistics.scala

ml_syntax.scala

PIDE/

document_id.scala

document_status.scala

rendering.scala

System/

invoke_scala.scala

Thy/

export_theory.scala

file_format.scala

thy_syntax.scala

Tools/

fontforge.scala

phabricator.scala

print_operation.scala

server_commands.scala

spell_checker.scala

update_cartouches.scala

Tools/

Graphview/

graph_file.scala

graphview.scala

mutator_dialog.scala

VSCode/

src/

jEdit/

src/

completion_popup.scala

debugger_dockable.scala

document_model.scala

document_view.scala

isabelle_options.scala

isabelle_sidekick.scala

isabelle_vfs.scala

jedit_editor.scala

jedit_lib.scala

jedit_options.scala

jedit_rendering.scala

jedit_resources.scala

output_dockable.scala

pretty_tooltip.scala

query_dockable.scala

rich_text_area.scala

scala_console.scala

session_build.scala

sledgehammer_dockable.scala

state_dockable.scala

symbols_dockable.scala

syntax_style.scala

text_structure.scala

rISABELLE97ccf48c2f0c

src/Pure/Admin/afp.scala

src/Pure/Admin/build_history.scala

src/Pure/Admin/build_jdk.scala

src/Pure/Admin/build_release.scala

src/Pure/Admin/components.scala

src/Pure/Admin/isabelle_cronjob.scala

src/Pure/Admin/isabelle_devel.scala

src/Pure/Admin/jenkins.scala

src/Pure/Admin/other_isabelle.scala

src/Pure/General/csv.scala

src/Pure/General/date.scala

src/Pure/General/exn.scala

src/Pure/General/file.scala

src/Pure/General/graph.scala

src/Pure/General/json.scala

src/Pure/General/linear_set.scala

src/Pure/General/mercurial.scala

src/Pure/General/multi_map.scala

src/Pure/General/path.scala

src/Pure/General/pretty.scala

src/Pure/General/properties.scala

src/Pure/General/scan.scala

src/Pure/General/sql.scala

src/Pure/General/ssh.scala

src/Pure/General/symbol.scala

src/Pure/General/url.scala

src/Pure/General/value.scala

src/Pure/General/word.scala

src/Pure/Isar/keyword.scala

src/Pure/Isar/line_structure.scala

src/Pure/Isar/outer_syntax.scala

src/Pure/Isar/token.scala

src/Pure/ML/ml_statistics.scala

src/Pure/ML/ml_syntax.scala

src/Pure/PIDE/document.scala

src/Pure/PIDE/document_id.scala

src/Pure/PIDE/document_status.scala

src/Pure/PIDE/headless.scala

src/Pure/PIDE/markup.scala

src/Pure/PIDE/protocol.scala

src/Pure/PIDE/prover.scala

src/Pure/PIDE/rendering.scala

src/Pure/PIDE/session.scala

src/Pure/PIDE/xml.scala

src/Pure/PIDE/yxml.scala

src/Pure/System/bash.scala

src/Pure/System/getopts.scala

src/Pure/System/invoke_scala.scala

src/Pure/System/numa.scala

src/Pure/System/options.scala

src/Pure/System/progress.scala

src/Pure/Thy/export.scala

src/Pure/Thy/export_theory.scala

src/Pure/Thy/file_format.scala

src/Pure/Thy/html.scala

src/Pure/Thy/latex.scala

src/Pure/Thy/sessions.scala

src/Pure/Thy/thy_syntax.scala

src/Pure/Tools/build.scala

src/Pure/Tools/debugger.scala

src/Pure/Tools/doc.scala

src/Pure/Tools/dump.scala

src/Pure/Tools/fontforge.scala

src/Pure/Tools/phabricator.scala

src/Pure/Tools/print_operation.scala

src/Pure/Tools/server.scala

src/Pure/Tools/server_commands.scala

src/Pure/Tools/spell_checker.scala

src/Pure/Tools/update_cartouches.scala

src/Pure/library.scala

src/Pure/term.scala

src/Tools/Graphview/graph_file.scala

src/Tools/Graphview/graphview.scala

src/Tools/Graphview/layout.scala

src/Tools/Graphview/model.scala

src/Tools/Graphview/mutator.scala

src/Tools/Graphview/mutator_dialog.scala

src/Tools/VSCode/src/grammar.scala

src/Tools/VSCode/src/server.scala

src/Tools/jEdit/src/completion_popup.scala

src/Tools/jEdit/src/debugger_dockable.scala

src/Tools/jEdit/src/document_model.scala

src/Tools/jEdit/src/document_view.scala

src/Tools/jEdit/src/isabelle.scala

src/Tools/jEdit/src/isabelle_options.scala

src/Tools/jEdit/src/isabelle_sidekick.scala

src/Tools/jEdit/src/isabelle_vfs.scala

src/Tools/jEdit/src/jedit_editor.scala

src/Tools/jEdit/src/jedit_lib.scala

src/Tools/jEdit/src/jedit_options.scala

src/Tools/jEdit/src/jedit_rendering.scala

src/Tools/jEdit/src/jedit_resources.scala

src/Tools/jEdit/src/output_dockable.scala

src/Tools/jEdit/src/plugin.scala

src/Tools/jEdit/src/pretty_tooltip.scala

src/Tools/jEdit/src/query_dockable.scala

src/Tools/jEdit/src/rich_text_area.scala

src/Tools/jEdit/src/scala_console.scala

src/Tools/jEdit/src/session_build.scala

src/Tools/jEdit/src/sledgehammer_dockable.scala

src/Tools/jEdit/src/state_dockable.scala

src/Tools/jEdit/src/symbols_dockable.scala

src/Tools/jEdit/src/syntax_style.scala

src/Tools/jEdit/src/text_structure.scala