Diffusion Isabelle d9b32243798f

clarified modules;
d9b32243798f
Actions

Tags

None

Subscribers

None

Description

clarified modules;

Details

Provenance

Authored on

Parents

rISABELLEaceca8baf804: suppress duplicate entries systematically using log_name: e.g. relevant for AFP;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd9b32243798f: clarified modules;.Mon, Nov 20, 2:23 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_log.scala

rISABELLEd9b32243798f

src/Pure/Admin/build_log.scala

Loading...