Diffusion Isabelle fd1fec53665b

clarified signature: prefer enum types;
fd1fec53665b
Actions

Tags

None

Subscribers

None

Description

clarified signature: prefer enum types;

Details

Provenance

Authored on

Parents

rISABELLE67492b2a3a62: clarified signature: prefer enum types;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEfd1fec53665b: clarified signature: prefer enum types;.Aug 29 2023, 5:29 PM

makarius mentioned this in rAFP19047d6a642b: adapted to Isabelle/fd1fec53665b;.Aug 29 2023, 8:47 PM

Changes (8)

Path

Size

src/

Pure/

Admin/

build_history.scala

build_release.scala

General/

System/

components.scala

other_isabelle.scala

Tools/

dotnet_setup.scala

Tools/

VSCode/

src/

component_vscodium.scala

rISABELLEfd1fec53665b

src/Pure/Admin/build_history.scala

Loading...

src/Pure/Admin/build_release.scala

Loading...

src/Pure/General/ssh.scala

Loading...

src/Pure/System/components.scala

Loading...

src/Pure/System/other_isabelle.scala

Loading...

src/Pure/System/platform.scala

Loading...

src/Pure/Tools/dotnet_setup.scala

Loading...

src/Tools/VSCode/src/component_vscodium.scala

Loading...