tuned whitespace and braces;
97b5547f2b17
Actions

Description

tuned whitespace and braces;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (6)

Path

Size

src/

Pure/

Admin/

General/

System/

Thy/

Tools/

rISABELLE97b5547f2b17

src/Pure/Admin/build_log.scala

src/Pure/General/sql.scala

src/Pure/System/host.scala

src/Pure/Thy/document_build.scala

src/Pure/Thy/sessions.scala

src/Pure/Tools/build_process.scala

tuned whitespace and braces;97b5547f2b17Actions

Description

Details

Changes (6)

rISABELLE97b5547f2b17

src/Pure/Admin/build_log.scala

src/Pure/General/sql.scala

src/Pure/System/host.scala

src/Pure/Thy/document_build.scala

src/Pure/Thy/sessions.scala

src/Pure/Tools/build_process.scala

tuned whitespace and braces;
97b5547f2b17
Actions