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

Tjark Weber webertj at in.tum.de
Wed Jun 27 14:03:52 CEST 2012

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
Perhaps you could update the section on "Initializing auxiliary

Best regards,

More information about the isabelle-dev mailing list