Diffusion Isabelle e2913fc81142

more systematic treatment of encodings;
e2913fc81142
Actions

Tags

None

Subscribers

None

Description

more systematic treatment of encodings;

Details

Provenance

Authored on

Parents

rISABELLEc1277bb04507: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe2913fc81142: more systematic treatment of encodings;.Jul 14 2021, 11:37 AM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_jedit.scala

rISABELLEe2913fc81142

src/Pure/Admin/build_jedit.scala

Loading...