I just tried building Isabelle from a new machine, and somehow my Cygwin got configured to make its home directory /cygdrive/c/Documents\ and\ Settings/chris. I have the isabelle sources there. The directory name having spaces seems to be a problem in IsaMakefile, leading to a whole string of messages like this at various line numbers:
IsaMakefile:204: warning: overriding commands for target `/cygdrive/c/Documents' IsaMakefile:116: warning: ignoring old commands for target `/cygdrive/c/Documents' If this is the default configuration of Cygwin nowadays (and I'm pretty sure I didn't change anything away from the default) then it's probably worth fixing. Chris Capel -- "What is it like to be a bat? What is it like to bat a bee? What is it like to be a bee being batted? What is it like to be a batted bee?" -- The Mind's I (Hofstadter, Dennet)
