Does the old src/HOLCF/IsaMakefile still have any purpose?
Ever since the inclusion of HOLCF within the regular HOL session library it should be subsumed by the main src/HOL/IsaMakefile. Some recent changes appy to both files nonetheless, see http://isabelle.in.tum.de/repos/isabelle/log/f363e5a2f8e8/src/HOL/HOLCF/IsaMakefile but the old HOLCF version probably has diverged from the HOL one already. (Makefiles are hard to maintain anyway.)
Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev