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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
