[isabelle-dev] Future and maintainance of ~isabelle/contrib_devel at TUM NFS

[Tjark Weber]

On Tue, 2012-06-26 at 22:46 +0200, Florian Haftmann wrote:
> Tiny instructions on changesets c97656ff4154 ff.:
> [...]

The Isabelle Wiki has a HOWTO on "Working with the repository version
of Isabelle" (at
https://isabelle.in.tum.de/community/Working_with_the_repository_version_of_Isabelle).
Perhaps you could update the section on "Initializing auxiliary
components"?

Best regards,
Tjark