Diffusion Isabelle a538dab533ef

clarified signature: prefer explicit types;
a538dab533ef
Actions

Tags

None

Subscribers

None

Description

clarified signature: prefer explicit types;

Details

Provenance

Authored on

Parents

rISABELLE582a7db1da37: more accurate Sessions.Info.session_prefs: cover relative changes wrt.

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa538dab533ef: clarified signature: prefer explicit types;.Mar 13 2023, 3:53 PM

Changes (4)

Path

Size

src/

HOL/

Tools/

Mirabelle/

mirabelle.scala

Pure/

System/

Tools/

server_commands.scala

rISABELLEa538dab533ef

src/HOL/Tools/Mirabelle/mirabelle.scala

Loading...

src/Pure/System/options.scala

Loading...

src/Pure/Tools/build.scala

Loading...

src/Pure/Tools/server_commands.scala

Loading...