Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Admin/init

view this post on Zulip Email Gateway (Apr 27 2021 at 20:47):

From: Makarius <>
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


isabelle-dev mailing list

Last updated: Mar 04 2024 at 10:08 UTC