Diffusion Isabelle 9bd92ac9328f

more robust Scala 3 indentation, for the sake of IntelliJ IDEA;
9bd92ac9328f
Actions

Tags

None

Subscribers

None

Description

more robust Scala 3 indentation, for the sake of IntelliJ IDEA;

Details

Provenance

Authored on

Parents

rISABELLE5905c7f484b3: clarified signature: read_theory_exports is already ordered;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9bd92ac9328f: more robust Scala 3 indentation, for the sake of IntelliJ IDEA;.Jul 8 2022, 8:24 PM

Changes (8)

Path

Size

src/

Pure/

Admin/

build_jdk.scala

General/

PIDE/

markup_tree.scala

Thy/

Tools/

build_docker.scala

phabricator.scala

scala_project.scala

Tools/

jEdit/

src/

syntax_style.scala

rISABELLE9bd92ac9328f

src/Pure/Admin/build_jdk.scala

Loading...

src/Pure/General/symbol.scala

Loading...

src/Pure/PIDE/markup_tree.scala

Loading...

src/Pure/Thy/bibtex.scala

Loading...

src/Pure/Tools/build_docker.scala

Loading...

src/Pure/Tools/phabricator.scala

Loading...

src/Pure/Tools/scala_project.scala

Loading...

src/Tools/jEdit/src/syntax_style.scala

Loading...