Thanks Makarius, I believe that addresses my use-case.
Another question: If the user asks Isabelle to process theory A, and
theory A has statement
imports dir1/B
and theory B has statement
imports dir2/C
then will Isabelle look for theory C in dir1 or dir1/dir2 ?
In other words, does
On Thu, 30 Dec 2010, John Matthews wrote:
Another question: If the user asks Isabelle to process theory A, and
theory A has statement
imports dir1/B
and theory B has statement
imports dir2/C
then will Isabelle look for theory C in dir1 or dir1/dir2 ?
In other words, does master_dir change
