Diffusion Isabelle b30b8e23383c

clarified signature: more explicit types;
b30b8e23383c
Actions

Tags

None

Subscribers

None

Description

clarified signature: more explicit types;

Details

Provenance

Authored on

Parents

rISABELLEb67c9ed2c810: tuned output;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb30b8e23383c: clarified signature: more explicit types;.Nov 20 2022, 11:37 PM

Changes (28)

Path

Size

src/

Pure/

Admin/

build_csdp.scala

build_cvc5.scala

build_easychair.scala

build_eptcs.scala

build_foiltex.scala

build_fonts.scala

build_jcef.scala

build_jdk.scala

build_jedit.scala

build_lipics.scala

build_llncs.scala

build_minisat.scala

build_pdfjs.scala

build_polyml.scala

build_postgresql.scala

build_prismjs.scala

build_scala.scala

build_spass.scala

build_sqlite.scala

build_vampire.scala

build_verit.scala

build_zipperposition.scala

build_zstd.scala

System/

components.scala

Tools/

dotnet_setup.scala

Tools/

VSCode/

src/

build_vscode_extension.scala

build_vscodium.scala

rISABELLEb30b8e23383c

src/Pure/Admin/build_csdp.scala

Loading...

src/Pure/Admin/build_cvc5.scala

Loading...

src/Pure/Admin/build_e.scala

Loading...

src/Pure/Admin/build_easychair.scala

Loading...

src/Pure/Admin/build_eptcs.scala

Loading...

src/Pure/Admin/build_foiltex.scala

Loading...

src/Pure/Admin/build_fonts.scala

Loading...

src/Pure/Admin/build_jcef.scala

Loading...

src/Pure/Admin/build_jdk.scala

Loading...

src/Pure/Admin/build_jedit.scala

Loading...

src/Pure/Admin/build_lipics.scala

Loading...

src/Pure/Admin/build_llncs.scala

Loading...

src/Pure/Admin/build_minisat.scala

Loading...

src/Pure/Admin/build_pdfjs.scala

Loading...

src/Pure/Admin/build_polyml.scala

Loading...

src/Pure/Admin/build_postgresql.scala

Loading...

src/Pure/Admin/build_prismjs.scala

Loading...

src/Pure/Admin/build_scala.scala

Loading...

src/Pure/Admin/build_spass.scala

Loading...

src/Pure/Admin/build_sqlite.scala

Loading...

src/Pure/Admin/build_vampire.scala

Loading...

src/Pure/Admin/build_verit.scala

Loading...

src/Pure/Admin/build_zipperposition.scala

Loading...

src/Pure/Admin/build_zstd.scala

Loading...

src/Pure/System/components.scala

Loading...

src/Pure/Tools/dotnet_setup.scala

Loading...

src/Tools/VSCode/src/build_vscode_extension.scala

Loading...

src/Tools/VSCode/src/build_vscodium.scala

Loading...