Diffusion Isabelle 2a99fcb283ee

renamed administrative tools to build Isabelle components (unrelated to…
2a99fcb283ee
Actions

Description

renamed administrative tools to build Isabelle components (unrelated to "isabelle build");

Details

Provenance

makarius

Authored on

Parents

rISABELLEfd87490429aa: renamed "isabelle build_components" to "isabelle components_build" (unrelated…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2a99fcb283ee: renamed administrative tools to build Isabelle components (unrelated to….Mar 7 2023, 10:54 PM

makarius mentioned this in rAFP73f40b87e288: follow naming conventions of Isabelle/2a99fcb283ee;.Aug 29 2023, 8:47 PM

Changes (66)

Path

Size

	component_setup
	build_setup

etc/

build_easychair.scala

build_postgresql.scala

build_zipperposition.scala

build_zstd.scala

	component_csdp.scala
	build_csdp.scala

	component_cvc5.scala
	build_cvc5.scala

	component_cygwin.scala
	build_cygwin.scala

	component_e.scala
	build_e.scala

	component_easychair.scala
	build_easychair.scala

	component_eptcs.scala
	build_eptcs.scala

	component_foiltex.scala
	build_foiltex.scala

	component_fonts.scala
	build_fonts.scala

	component_jdk.scala
	build_jdk.scala

	component_jedit.scala
	build_jedit.scala

	component_lipics.scala
	build_lipics.scala

	component_llncs.scala
	build_llncs.scala

	component_minisat.scala
	build_minisat.scala

	component_pdfjs.scala
	build_pdfjs.scala

	component_polyml.scala
	build_polyml.scala

	component_postgresql.scala
	build_postgresql.scala

	component_prismjs.scala
	build_prismjs.scala

	component_scala.scala
	build_scala.scala

	component_spass.scala
	build_spass.scala

	component_sqlite.scala
	build_sqlite.scala

	component_vampire.scala
	build_vampire.scala

	component_verit.scala
	build_verit.scala

	component_zipperposition.scala
	build_zipperposition.scala

	component_zstd.scala
	build_zstd.scala

System/

Thy/

build_vscode_extension.scala

build_vscodium.scala

	component_vscode_extension.scala
	build_vscode_extension.scala

	component_vscodium.scala
	build_vscodium.scala

rISABELLE2a99fcb283ee

View Options

Admin/lib/Tools/build_setup

View Options

Admin/lib/Tools/component_setup

View Options

etc/build.props

View Options

src/Pure/Admin/build_csdp.scala

View Options

src/Pure/Admin/build_cvc5.scala

View Options

src/Pure/Admin/build_cygwin.scala

View Options

src/Pure/Admin/build_e.scala

View Options

src/Pure/Admin/build_easychair.scala

View Options

src/Pure/Admin/build_eptcs.scala

View Options

src/Pure/Admin/build_foiltex.scala

View Options

src/Pure/Admin/build_fonts.scala

View Options

src/Pure/Admin/build_jdk.scala

View Options

src/Pure/Admin/build_jedit.scala

View Options

src/Pure/Admin/build_lipics.scala

View Options

src/Pure/Admin/build_llncs.scala

View Options

src/Pure/Admin/build_minisat.scala

View Options

src/Pure/Admin/build_pdfjs.scala

View Options

src/Pure/Admin/build_polyml.scala

View Options

src/Pure/Admin/build_postgresql.scala

View Options

src/Pure/Admin/build_prismjs.scala

View Options

src/Pure/Admin/build_scala.scala

View Options

src/Pure/Admin/build_spass.scala

View Options

src/Pure/Admin/build_sqlite.scala

View Options

src/Pure/Admin/build_vampire.scala

View Options

src/Pure/Admin/build_verit.scala

View Options

src/Pure/Admin/build_zipperposition.scala

View Options

src/Pure/Admin/build_zstd.scala

View Options

src/Pure/Admin/component_csdp.scala

View Options

src/Pure/Admin/component_cvc5.scala

View Options

src/Pure/Admin/component_cygwin.scala

View Options

src/Pure/Admin/component_e.scala

View Options

src/Pure/Admin/component_easychair.scala

View Options

src/Pure/Admin/component_eptcs.scala

View Options

src/Pure/Admin/component_foiltex.scala

View Options

src/Pure/Admin/component_fonts.scala

View Options

src/Pure/Admin/component_jdk.scala

View Options

src/Pure/Admin/component_jedit.scala

View Options

src/Pure/Admin/component_lipics.scala

View Options

src/Pure/Admin/component_llncs.scala

View Options

src/Pure/Admin/component_minisat.scala

View Options

src/Pure/Admin/component_pdfjs.scala

View Options

src/Pure/Admin/component_polyml.scala

View Options

src/Pure/Admin/component_postgresql.scala

View Options

src/Pure/Admin/component_prismjs.scala

View Options

src/Pure/Admin/component_scala.scala

View Options

src/Pure/Admin/component_spass.scala

View Options

src/Pure/Admin/component_sqlite.scala

View Options

src/Pure/Admin/component_vampire.scala

View Options

src/Pure/Admin/component_verit.scala

View Options

src/Pure/Admin/component_zipperposition.scala

View Options

src/Pure/Admin/component_zstd.scala

View Options

src/Pure/System/isabelle_tool.scala

View Options

src/Pure/Thy/document_build.scala

View Options

src/Tools/VSCode/src/build_vscode_extension.scala

View Options

src/Tools/VSCode/src/build_vscodium.scala

View Options

src/Tools/VSCode/src/component_vscode_extension.scala

View Options

src/Tools/VSCode/src/component_vscodium.scala

renamed administrative tools to build Isabelle components (unrelated to…2a99fcb283eeActions

Description

Details

Event Timeline

Changes (66)

rISABELLE2a99fcb283ee

Admin/lib/Tools/build_setup

Admin/lib/Tools/component_setup

etc/build.props

src/Pure/Admin/build_csdp.scala

src/Pure/Admin/build_cvc5.scala

src/Pure/Admin/build_cygwin.scala

src/Pure/Admin/build_e.scala

src/Pure/Admin/build_easychair.scala

src/Pure/Admin/build_eptcs.scala

src/Pure/Admin/build_foiltex.scala

src/Pure/Admin/build_fonts.scala

src/Pure/Admin/build_jdk.scala

src/Pure/Admin/build_jedit.scala

src/Pure/Admin/build_lipics.scala

src/Pure/Admin/build_llncs.scala

src/Pure/Admin/build_minisat.scala

src/Pure/Admin/build_pdfjs.scala

src/Pure/Admin/build_polyml.scala

src/Pure/Admin/build_postgresql.scala

src/Pure/Admin/build_prismjs.scala

src/Pure/Admin/build_scala.scala

src/Pure/Admin/build_spass.scala

src/Pure/Admin/build_sqlite.scala

src/Pure/Admin/build_vampire.scala

src/Pure/Admin/build_verit.scala

src/Pure/Admin/build_zipperposition.scala

src/Pure/Admin/build_zstd.scala

src/Pure/Admin/component_csdp.scala

src/Pure/Admin/component_cvc5.scala

src/Pure/Admin/component_cygwin.scala

src/Pure/Admin/component_e.scala

src/Pure/Admin/component_easychair.scala

src/Pure/Admin/component_eptcs.scala

src/Pure/Admin/component_foiltex.scala

src/Pure/Admin/component_fonts.scala

src/Pure/Admin/component_jdk.scala

src/Pure/Admin/component_jedit.scala

src/Pure/Admin/component_lipics.scala

src/Pure/Admin/component_llncs.scala

src/Pure/Admin/component_minisat.scala

src/Pure/Admin/component_pdfjs.scala

src/Pure/Admin/component_polyml.scala

src/Pure/Admin/component_postgresql.scala

src/Pure/Admin/component_prismjs.scala

src/Pure/Admin/component_scala.scala

src/Pure/Admin/component_spass.scala

src/Pure/Admin/component_sqlite.scala

src/Pure/Admin/component_vampire.scala

src/Pure/Admin/component_verit.scala

src/Pure/Admin/component_zipperposition.scala

src/Pure/Admin/component_zstd.scala

src/Pure/System/isabelle_tool.scala

src/Pure/Thy/document_build.scala

src/Tools/VSCode/src/build_vscode_extension.scala

src/Tools/VSCode/src/build_vscodium.scala

src/Tools/VSCode/src/component_vscode_extension.scala

src/Tools/VSCode/src/component_vscodium.scala

renamed administrative tools to build Isabelle components (unrelated to…
2a99fcb283ee
Actions