Diffusion Isabelle 10abe3049bec

proper cat_lines: avoid last "\n";
10abe3049bec
Actions

Tags

None

Subscribers

None

Description

proper cat_lines: avoid last "\n";

Details

Provenance

Authored on

Parents

rISABELLE5c8a0580d513: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE10abe3049bec: proper cat_lines: avoid last "\n";.Jul 16 2021, 11:32 AM

Changes (1)

Path

Size

src/

Tools/

Setup/

isabelle/

setup/

rISABELLE10abe3049bec

src/Tools/Setup/isabelle/setup/Library.java

Loading...