Changes

Summary

clarified signature;
clarified signature: more explicit types;

Changeset 76519:137cec33346f by wenzelm: clarified signature;
The file was modified	`src/Pure/Admin/build_release.scala` (diff)
The file was modified	`src/Pure/System/components.scala` (diff)
Changeset 76518:b30b8e23383c by wenzelm: clarified signature: more explicit types;
The file was modified	`src/Pure/Admin/build_csdp.scala` (diff)
The file was modified	`src/Pure/Admin/build_cvc5.scala` (diff)
The file was modified	`src/Pure/Admin/build_e.scala` (diff)
The file was modified	`src/Pure/Admin/build_easychair.scala` (diff)
The file was modified	`src/Pure/Admin/build_eptcs.scala` (diff)
The file was modified	`src/Pure/Admin/build_foiltex.scala` (diff)
The file was modified	`src/Pure/Admin/build_fonts.scala` (diff)
The file was modified	`src/Pure/Admin/build_jcef.scala` (diff)
The file was modified	`src/Pure/Admin/build_jdk.scala` (diff)
The file was modified	`src/Pure/Admin/build_jedit.scala` (diff)
The file was modified	`src/Pure/Admin/build_lipics.scala` (diff)
The file was modified	`src/Pure/Admin/build_llncs.scala` (diff)
The file was modified	`src/Pure/Admin/build_minisat.scala` (diff)
The file was modified	`src/Pure/Admin/build_pdfjs.scala` (diff)
The file was modified	`src/Pure/Admin/build_polyml.scala` (diff)
The file was modified	`src/Pure/Admin/build_postgresql.scala` (diff)
The file was modified	`src/Pure/Admin/build_prismjs.scala` (diff)
The file was modified	`src/Pure/Admin/build_scala.scala` (diff)
The file was modified	`src/Pure/Admin/build_spass.scala` (diff)
The file was modified	`src/Pure/Admin/build_sqlite.scala` (diff)
The file was modified	`src/Pure/Admin/build_vampire.scala` (diff)
The file was modified	`src/Pure/Admin/build_verit.scala` (diff)
The file was modified	`src/Pure/Admin/build_zipperposition.scala` (diff)
The file was modified	`src/Pure/Admin/build_zstd.scala` (diff)
The file was modified	`src/Pure/System/components.scala` (diff)
The file was modified	`src/Pure/Tools/dotnet_setup.scala` (diff)
The file was modified	`src/Tools/VSCode/src/build_vscode_extension.scala` (diff)
The file was modified	`src/Tools/VSCode/src/build_vscodium.scala` (diff)