[isabelle-dev] HOLCF problem

Makarius makarius at sketis.net
Sun Nov 28 14:23:36 CET 2010

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.


More information about the isabelle-dev mailing list