diff --git a/admin/publish b/admin/publish index 583a05e3fcf2c366bc1a0b16d9f39b6c63a02029_YWRtaW4vcHVibGlzaA==..92d09d55b36202ce10634821bc7ea28a2b024e79_YWRtaW4vcHVibGlzaA== 100755 --- a/admin/publish +++ b/admin/publish @@ -48,8 +48,8 @@ echo " -t <isabelle> <tag> use specified path to isabelle tool script" echo echo "Examples:" - echo " $PRG -r 2009 Example-Submission" - echo " $PRG -t /usr/proj/Isabelle2009/bin/isabelle Isabelle2009 Example-Submission" + echo " $PRG -r 2025 Example-Submission" + echo " $PRG -t /usr/proj/Isabelle2025/bin/isabelle Example-Submission" echo echo " $PRG Example-Submission" exit 1 diff --git a/admin/testall b/admin/testall index 583a05e3fcf2c366bc1a0b16d9f39b6c63a02029_YWRtaW4vdGVzdGFsbA==..92d09d55b36202ce10634821bc7ea28a2b024e79_YWRtaW4vdGVzdGFsbA== 100755 --- a/admin/testall +++ b/admin/testall @@ -28,6 +28,6 @@ echo "$PRG Example-Submission" echo "same as above, but only test Example-Submission" echo - echo "$PRG -t /usr/proj/isabelle/Isabelle2009/bin/isabelle Example-Submission" - echo "uses the Isabelle2009 release version to run the test" + echo "$PRG -t /usr/proj/isabelle/Isabelle2025/bin/isabelle Example-Submission" + echo "uses the Isabelle2025 release version to run the test" echo @@ -33,6 +33,6 @@ echo - echo "$PRG -r 2009 Example-Submission" - echo "uses the distribution $ISABELLE_RELEASES/Isabelle2009 to test Example-Submission" + echo "$PRG -r 2025 Example-Submission" + echo "uses the distribution $ISABELLE_RELEASES/Isabelle2025 to test Example-Submission" exit 1 }