Diffusion Isabelle 9acd819db33a

clarified signature: prefer enum types;
9acd819db33a
Actions

Tags

None

Subscribers

None

Description

clarified signature: prefer enum types;

Details

Provenance

Authored on

Parents

rISABELLEabdf38ee314a: proper type, following Bus.event;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9acd819db33a: clarified signature: prefer enum types;.Tue, Aug 29, 7:20 PM

Changes (3)

Path

Size

src/

Tools/

Graphview/

mutator_dialog.scala

mutator_event.scala

rISABELLE9acd819db33a

src/Tools/Graphview/model.scala

Loading...

src/Tools/Graphview/mutator_dialog.scala

Loading...

src/Tools/Graphview/mutator_event.scala

Loading...