# HG changeset patch
# User wenzelm
# Date 1678268852 -3600
# Node ID f78286d2e30f1769e8daa023144f0e150da80eae
# Parent  72a99b54e2067129158dcee00a6e66d6186d440b
follow renaming of various Isabelle command-line tools (see b975f5aaf6b8 and before);

diff -r 72a99b54e206 -r f78286d2e30f Admin/Release/CHECKLIST
--- a/Admin/Release/CHECKLIST	Wed Mar 08 10:12:41 2023 +0100
+++ b/Admin/Release/CHECKLIST	Wed Mar 08 10:47:32 2023 +0100
@@ -89,11 +89,11 @@
 
 - Docker image:
 
-  isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2022 Isabelle2022_linux.tar.gz
-  isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2022_X11_Latex -P X11 -P latex Isabelle2022_linux.tar.gz
+  isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2022 Isabelle2022_linux.tar.gz
+  isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2022_X11_Latex -P X11 -P latex Isabelle2022_linux.tar.gz
 
-  isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2022_ARM Isabelle2022_linux_arm.tar.gz
-  isabelle build_docker -o Dockerfile -E -t makarius/isabelle:Isabelle2022_ARM_X11_Latex -P X11 -P latex Isabelle2022_linux_arm.tar.gz
+  isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2022_ARM Isabelle2022_linux_arm.tar.gz
+  isabelle docker_build -o Dockerfile -E -t makarius/isabelle:Isabelle2022_ARM_X11_Latex -P X11 -P latex Isabelle2022_linux_arm.tar.gz
 
   docker login
 
diff -r 72a99b54e206 -r f78286d2e30f Admin/Windows/Cygwin/README
--- a/Admin/Windows/Cygwin/README	Wed Mar 08 10:12:41 2023 +0100
+++ b/Admin/Windows/Cygwin/README	Wed Mar 08 10:47:32 2023 +0100
@@ -54,7 +54,7 @@
   Redirect /cygwin_2022/noarch/release https://ftp.eq.uc.pt/software/pc/prog/cygwin/noarch/release
 ```
 
-* Quasi-component: "isabelle build_cygwin" (as Administrator)
+* Quasi-component: "isabelle component_cygwin" (as Administrator)
 
 * SSH server:
 
diff -r 72a99b54e206 -r f78286d2e30f Admin/components/README
--- a/Admin/components/README	Wed Mar 08 10:12:41 2023 +0100
+++ b/Admin/components/README	Wed Mar 08 10:47:32 2023 +0100
@@ -10,11 +10,11 @@
 
   * packaging (with associated SHA1 digest), e.g.
 
-      $ isabelle build_components screwdriver-3.14
+      $ isabelle components_build screwdriver-3.14
 
   * publishing, e.g.
 
-      $ isabelle build_components -P screwdriver-3.14.tar.gz
+      $ isabelle components_build -P screwdriver-3.14.tar.gz
 
   * manual editing of Admin/components/main: screwdriver-3.14
 
@@ -54,7 +54,7 @@
 The file `Admin/components/components.sha1` contains SHA1 identifiers
 within the Isabelle repository, for integrity checking of the archives
 that are exposed to the public file-system.  The command-line tool
-`isabelle build_components` maintains these hash-keys automatically.
+`isabelle components_build` maintains these hash-keys automatically.
 
 
 Unpacked copy
@@ -67,6 +67,6 @@
 isabelle_cronjob does this routinely: it will break if the unpacked version is
 omitted.
 
-The command-line tool `isabelle build_components -P` takes care of uploading
+The command-line tool `isabelle components_build -P` takes care of uploading
 the .tar.gz archive and unpacking it, unless it is a special component (e.g.
 for multiplatform application bundling).
diff -r 72a99b54e206 -r f78286d2e30f Admin/isabelle_fonts/README
--- a/Admin/isabelle_fonts/README	Wed Mar 08 10:12:41 2023 +0100
+++ b/Admin/isabelle_fonts/README	Wed Mar 08 10:47:32 2023 +0100
@@ -6,7 +6,7 @@
 TTF files are produced automatically from the Deja Vu font family with symbols
 from the IsabelleSymbols font (formerly IsabelleText):
 
-  isabelle build_fonts -d dejavu-fonts-ttf-2.37/ttf
+  isabelle component_fonts -d dejavu-fonts-ttf-2.37/ttf
 
 The IsabelleSymbols template (see Admin/isabelle_fonts in the repository) has
 been assembled manually, by composing glyphs from Bluesky TeX fonts (scaled
@@ -20,7 +20,7 @@
 
 
     Makarius
-    22-Mar-2021
+    08-Mar-2023
 
 
 ----------------------------------------------------------------------------
diff -r 72a99b54e206 -r f78286d2e30f Admin/polyml/INSTALL-MinGW
--- a/Admin/polyml/INSTALL-MinGW	Wed Mar 08 10:12:41 2023 +0100
+++ b/Admin/polyml/INSTALL-MinGW	Wed Mar 08 10:47:32 2023 +0100
@@ -17,5 +17,5 @@
 - build (as regular user) e.g. on vmnipkow9 with Cygwin-Terminal from Isabelle2018
   (to avoid address relocation problems):
 
-    isabelle build_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src
-    isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src
+    isabelle component_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src
+    isabelle component_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src
diff -r 72a99b54e206 -r f78286d2e30f src/Tools/VSCode/README.md
--- a/src/Tools/VSCode/README.md	Wed Mar 08 10:12:41 2023 +0100
+++ b/src/Tools/VSCode/README.md	Wed Mar 08 10:47:32 2023 +0100
@@ -19,7 +19,7 @@
 
 * Shell commands within $ISABELLE_HOME directory:
 
-    isabelle build_vscode_extension -U
+    isabelle component_vscode_extension -U
     isabelle vscode src/Tools/VSCode/extension
 
 * VSCode commands:
@@ -29,4 +29,4 @@
 
 ## Build and install ##
 
-    isabelle build_vscode_extension -I
+    isabelle component_vscode_extension -I