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
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
