Diffusion Isabelle e1c9e4d59921

more robust: avoid partiality;
e1c9e4d59921
Actions

Tags

None

Subscribers

None

Description

more robust: avoid partiality;

Details

Provenance

Authored on

Parents

rISABELLE96293bd077bb: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe1c9e4d59921: more robust: avoid partiality;.Apr 9 2022, 3:40 PM

Changes (3)

Path

Size

src/

Pure/

System/

isabelle_system.scala

Tools/

Graphview/

rISABELLEe1c9e4d59921

src/Pure/System/isabelle_system.scala

Loading...

src/Tools/Graphview/layout.scala

Loading...

src/Tools/Graphview/shapes.scala

Loading...