Re: [isabelle] I/O error after "Isabelle build -o browser_info -v -c -a"
On Thu, 23 May 2013, Reza Roboubi wrote:
I believe the full HTML library doesn't contain IsarMathLib(why is that
not included in the main distribution anyway?)
It is one of the many independent projects based on Isabelle, not Isabelle
itself. I am glad that so many excellent projects exists, without having
to take care within the central Isabelle repository.
Now my problem is: Undefined session(s): "IsarMathLib."
Slawomir says in isarmathlib-1.8.0/INSTALL that it is a regular Isabelle
session (in the sense of Isabelle2013). So you just need to say that you
want to include its main directory (the one with the ROOT file) in your
You can do it via "isabelle build -D ./IsarMathLib" following INSTALL, or
via suitable -d options to isabelle build or jedit.
You can also do this once and for all in ISABELLE_HOME_USER/etc/ROOTS, by
adding any number of directories there.
This archive was generated by a fusion of
Pipermail (Mailman edition) and