Reconstructing the Isabelle repository

From Isabelle Community Wiki
Jump to: navigation, search

See Admin/Mercurial/Central/README in your local Isabelle repository.