[isabelle-dev] building isabelle

[Chris Capel]

If I want to test changes I make to Isar or other parts of the
Isabelle core, is possible to do this without also rebuilding my HOL
image? (Or is rebuilding the image faster than the first build?) Is it
sufficient to simply rebuild Pure? I couldn't find any documentation
on developing isabelle that talked about building.

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)