Diffusion Isabelle afb83ba8d24c

clarified signature: prefer enum types;
afb83ba8d24c
Actions

Tags

None

Subscribers

None

Description

clarified signature: prefer enum types;

Details

Provenance

Authored on

Parents

rISABELLE1ce1abed5082: clarified signature: prefer enum types;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEafb83ba8d24c: clarified signature: prefer enum types;.Tue, Aug 29, 4:42 PM

Changes (2)

Path

Size

src/

Pure/

PIDE/

document_status.scala

Tools/

jEdit/

src/

theories_status.scala

rISABELLEafb83ba8d24c

src/Pure/PIDE/document_status.scala

Loading...

src/Tools/jEdit/src/theories_status.scala

Loading...