Mercurial Mercurial > repos > isabelle / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/build_history
author wenzelm
Wed, 17 Nov 2021 15:23:15 +0100
changeset 74813 2ad892ac749a
parent 74038 b4f57bfe82e7
permissions -rwxr-xr-x
present only selected session theories (as in Isabelle2021), in contrast to 2bc24136bdeb, eb89b3a37826; eliminated implicit state: these theories are globally unique;

#!/usr/bin/env bash
#
# DESCRIPTION: build history versions from another repository clone

unset CDPATH
THIS="$(cd "$(dirname "$0")"; pwd)"

"$THIS/../bin/isabelle" scala_build -q || exit $?
"$THIS/../bin/isabelle_java" isabelle.Build_History "$@"
isabelle