diff -r 027fb21bdd5d -r b4e6b82fdb9e Admin/build_history
--- a/Admin/build_history	Fri Jul 16 12:59:10 2021 +0200
+++ b/Admin/build_history	Fri Jul 16 13:18:54 2021 +0200
@@ -5,5 +5,5 @@
 unset CDPATH
 THIS="$(cd "$(dirname "$0")"; pwd)"
 
-"$THIS/build" jars > /dev/null || exit $?
+env ISABELLE_SETUP_CLASSPATH_SKIP=true "$THIS/../bin/isabelle" java isabelle.setup.Setup build > /dev/null || exit $?
 exec "$THIS/../bin/isabelle_java" isabelle.Build_History "$@"