makarius at sketis.net
Mon Jan 9 16:04:37 CET 2012
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
but the old HOLCF version probably has diverged from the HOL one already.
(Makefiles are hard to maintain anyway.)
More information about the isabelle-dev