sync-isabelle-afp-distribution

name	sync-isabelle-afp-distribution
description	How to repackage/upload and download/unpack the Isabelle + paired AFP distribution, published together as contrib/Isabelle2025-2_and_afp-2026-05-13.tar.zst on the Hugging Face Hub (via manage_data.py update/get). Use when publishing a rebuilt Isabelle+AFP tarball (after isabelle scala_build, patches, etc.) or installing/refreshing the distribution on another machine.

Packaging and syncing the Isabelle + AFP distribution

Isabelle + its paired AFP snapshot are published together as contrib/Isabelle2025-2_and_afp-2026-05-13.tar.zst on the Hugging Face Hub.

Repackage and upload (after rebuilding the shared jar with isabelle scala_build, applying patches, etc.). -y skips the [y/N] confirmation (required for non-interactive / detached runs — else update blocks on the prompt and dies with EOFError); update regenerates data/manifest.json, so commit and push it:

cd contrib
tar --zstd -cvf Isabelle2025-2_and_afp-2026-05-13.tar.zst Isabelle2025-2 afp-2026-05-13
cd .. && ./manage_data.py update -y contrib/Isabelle2025-2_and_afp-2026-05-13.tar.zst
git add data/manifest.json
git commit -m "data: bump Isabelle+AFP tarball size"
git push

Download and unpack on another machine — mirror of the above:

./manage_data.py get -y contrib/Isabelle2025-2_and_afp-2026-05-13.tar.zst
cd contrib
tar --zstd -xf Isabelle2025-2_and_afp-2026-05-13.tar.zst   # overwrites Isabelle2025-2/ + afp-2026-05-13/