Re: [isabelle] [Isabelle2013-1 RC] Scalability problem with re-entrant build of the whole distribution



> When building the whole distribution once and then once again (build
> -a)

»whole distribution« is misleading.  It is the whole distribution plus
the AFP.

	Florian


-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.