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
