On Mon, 17 May 2010, Makarius wrote:
Right now I am bisecting our repository as David suggested, which is an
interesting experience because last year's Isabelle/HOL builds really
fast (factor 2 compared to today). I am close to get to the point,
about 4 more bisections.
The result is on the PG trac for item #314. Really depressing, though ...
Makarius
_______________________________________________
Isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
