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/components/bundled
author wenzelm
Wed, 19 Jul 2023 15:56:32 +0200
changeset 78408 092f1e435b3a
parent 78308 1d041311dc67
child 78630 93756069b867
permissions -rw-r--r--
proper Build_Cluster.Host.parse for parameters and system options; clarified Build_Cluster.Host: empty "host" means local;

#additional components to be bundled for release
naproche-20230711
isabelle