Can anyone explain the Isabelle build process? I've made some (rather trivial) changes to a Pure source file,and rebuilt HOL (which includes rebuilding Pure, and I had thought that HOL is built on top of Pure).
But when I run Pure, I see the effects of the changes, when I run HOL I don't. Why could this be? Any suggestions appreciated. Jeremy