[isabelle-dev] src/HOLCF/IsaMakefile

Makarius 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 
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


More information about the isabelle-dev mailing list