Diffusion Isabelle 25dbf5bec91e

more logging;
25dbf5bec91e
Actions

Tags

None

Subscribers

None

Description

more logging;

Details

Provenance

Authored on

Parents

rISABELLE3eb3de867786: proper symbolic handle on component resources:

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE25dbf5bec91e: more logging;.Feb 3 2023, 4:24 PM

Changes (2)

Path

Size

src/

Pure/

Concurrent/

General/

rISABELLE25dbf5bec91e

src/Pure/Concurrent/delay.scala

Loading...

src/Pure/General/logger.scala

Loading...