[Isarmathlib-devel] Undefined session(s): "IsarMathLib" after build

[Reza Roboubi]

Hi,
This is a user-level question, but I'm not sure what's the correct mailing list?

This seems to work fine and create the pdf documents:
../Isabelle2013/bin/isabelle build -D ./IsarMathLib

But,
../Isabelle2013/bin/isabelle build -o browser_info -v -c IsarMathLib
fails with:  Undefined session(s): "IsarMathLib"

Thanks,
Reza.