Re: [isabelle-dev] Isabelle build only works in certain directories

/file/1b9462304e1d/src/Pure/General/mercurial.scala#l156>> Gruß Max > Am 28.06.2018 um 15:53 schrieb Makarius : > > On 28/06/18 13:25, Max Haslbeck wrote: >> >> I have the following curious problem: isabelle build only seems to work when >> I’m in certain

[isabelle-dev] Isabelle build only works in certain directories

Hi, I have the following curious problem: isabelle build only seems to work when I’m in certain directories. Steps to reproduce: 1. Start out with clean mercurial repository of isabelle in '/Users/mhaslbeck/Projects/isabelle' 2. run '/Users/mhaslbeck/Projects/isabelle/bin/isabelle components