Hi, I am currently engaged in a frustrating battle to track down a stray pointer bug in some GreenCard'ed code under Win32. Extremely un-fun. On my system, I currently have installed: Hugs98Feb2001 (from sources) GreenCard 2.01 (from sources) I notice that, for some reason, both GreenCard and hugs include their own versions of "GreenCard.h". (in the "src/" directory for the Hugs distribution, and in "lib/hugs" in the GreenCard distribution). And it turns out that they are different (though it looks like the Hugs version is a strict extension of the GreenCard version). Questions: 1. Why is this source file duplicated? Presumably since the file lives in the "lib/hugs" directory of GreenCard, it is only useful with Hugs anyway. Perhaps GreenCard should just let Hugs own this file. 2. Are there any version compatibility issues to worry about here? I'm a little perplexed as to why the latest release of hugs has a more up-to-date "GreenCard.h" than GreenCard itself. Thanks, -antony -- Antony Courtney Grad. Student, Dept. of Computer Science, Yale University antony@apocalypse.org http://www.apocalypse.org/pub/u/antony