Diffusion Isabelle 691ed9f41729

proper indentation;
691ed9f41729
Actions

Tags

None

Subscribers

None

Description

proper indentation;

Details

Provenance

Authored on

Parents

rISABELLEdf9d869cd5fd: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE691ed9f41729: proper indentation;.Apr 22 2022, 4:47 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

rISABELLE691ed9f41729

src/Pure/Tools/debugger.scala

Loading...