On Wed, 30 May 2012, Florian Haftmann wrote:
this indeed works nice at TUM, but this requires that every developer
keep up-to-date his/her components on local machines for development,
and, as a prerequsite, to download them to his/her machine. This first
step already is not clear, or how would you obtain a HOL-Light bundle
without access to TUM NFS!?
We have this running gag on the mailing list already that the meaning of
"developer" is different for everyone. Do you mean people who push to the
main Isabelle repository occasionally and thus need to makeall all, with
at least the major components active? Or do you mean people who "use" the
repository version for serious resons, or because they want a thrill every
day or every week to follow the repository?
Anyway, if mira is further consolidated. The extra testing with
components on board can be mainly done there.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
