[isabelle-dev] isabelle build

Christian Sternagel c-sterna at jaist.ac.jp
Fri Aug 3 07:34:55 CEST 2012


> Path variables are meant to refer to closed paths, without further
> variables.  So if you write:
>
>    ISAFOR_AFP="$HOME/Repos/afp/thys"
>
> in the bash script where you presumable introduce that definition, it
> should work.
Thanks, that worked.



More information about the isabelle-dev mailing list