Diffusion Isabelle 8b3e672df28c

proper build for fresh target directory (amending d9823224fcfe);
8b3e672df28c
Actions

Tags

None

Subscribers

None

Description

proper build for fresh target directory (amending d9823224fcfe);

Details

Provenance

Authored on

Parents

rISABELLEff716ecb0805: put more resources into jedit_build component;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE8b3e672df28c: proper build for fresh target directory (amending d9823224fcfe);.May 10 2021, 10:32 PM

Changes (1)

Path

Size

src/

Tools/

jEdit/

lib/

Tools/

rISABELLE8b3e672df28c

src/Tools/jEdit/lib/Tools/jedit

Loading...