Diffusion Isabelle c125f75a5144

more robust: prefer strict operations;
c125f75a5144
Actions

Tags

None

Subscribers

None

Description

more robust: prefer strict operations;

Details

Provenance

Authored on

Parents

rISABELLE932b2a7139e2: tuned message;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc125f75a5144: more robust: prefer strict operations;.Sun, Nov 12, 12:34 PM

Changes (3)

Path

Size

src/

Pure/

General/

ML/

Tools/

profiling.scala

rISABELLEc125f75a5144

src/Pure/General/mailman.scala

Loading...

src/Pure/ML/ml_heap.scala

Loading...

src/Pure/Tools/profiling.scala

Loading...