Diffusion Isabelle b0abf5a9dada

clarified signature: prefer enum types;
b0abf5a9dada
Actions

Tags

None

Subscribers

None

Description

clarified signature: prefer enum types;

Details

Provenance

Authored on

Parents

rISABELLE1cce41dc0c41: clarified generated Scala, for the sake of "scalac -source 3.3";

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb0abf5a9dada: clarified signature: prefer enum types;.Tue, Aug 29, 3:34 PM

Changes (3)

Path

Size

src/

Pure/

PIDE/

query_operation.scala

Tools/

jEdit/

src/

query_dockable.scala

sledgehammer_dockable.scala

rISABELLEb0abf5a9dada

src/Pure/PIDE/query_operation.scala

Loading...

src/Tools/jEdit/src/query_dockable.scala

Loading...

src/Tools/jEdit/src/sledgehammer_dockable.scala

Loading...