Diffusion Isabelle c606a8ff5ccc

proper lines (amending 59b6f0462086);
c606a8ff5ccc
Actions

Tags

None

Subscribers

None

Description

proper lines (amending 59b6f0462086);

Details

Provenance

Authored on

Parents

rISABELLEe2913fc81142: more systematic treatment of encodings;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc606a8ff5ccc: proper lines (amending 59b6f0462086);.Jul 15 2021, 12:51 PM

Changes (1)

Path

Size

src/

Tools/

Setup/

isabelle/

setup/

rISABELLEc606a8ff5ccc

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

Loading...