[isabelle-dev] Admin/init

Makarius makarius at sketis.net
Tue Apr 27 22:46:55 CEST 2021

This is old news, but not properly announced yet: I still need to get used to
it myself.

Current Isabelle/342362c9496c provides Admin/init to manage a repository clone
with components etc. Details are explained in README_REPOSITORY or "Admin/init

The most common form is probably:

  Admin/init -u


More information about the isabelle-dev mailing list