On Sun, 28 Nov 2010, Alexander Krauss wrote:
The root /etc/components still mentions src/HOLCF. This should either be
removed or changed to src/HOL/HOLCF. I removed it for now in
04d44a20fccf.
Since src/HOL/HOLCF has no etc directory there is no point to add it to
components. It used to be there to allow makeall to find it, but now it
is part of HOL.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
