[isabelle] build process




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





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.