Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] I/O error after "Isabelle build -o browser_inf...

Email Gateway (Aug 19 2022 at 11:00):

From: Makarius <makarius@sketis.net>
That is just a warning (###) not an error. It could mean that the
starting point was not fully "clean", e.g. with some heap for ZF left
behind in ISABELLE_HOME/heaps/. (There is a potential for confusion when
the implicit build -s of Isabelle/jEdit and explicit build on the command
line is mixed.)

Note that the full HTML library is also available here:

https://isabelle.in.tum.de/dist/Isabelle2013_library.tar.gz

and of course here as separate HTMLs:

https://isabelle.in.tum.de/documentation.html

Makarius

Email Gateway (Aug 19 2022 at 11:01):

From: Reza Roboubi <rezarob@gmail.com>
That's awesome! Removing ISABELLE_HOME/heaps fixed it. I believe the
full HTML library doesn't contain IsarMathLib(why is that not included
in the main distribution anyway?)

Now my problem is: Undefined session(s): "IsarMathLib."
I've looked at system.pdf but I'm not sure what to do? (A beginner's
tutorial would be really super and encourage people to get started.)

Thank you,
Reza.

Email Gateway (Aug 19 2022 at 11:01):

From: Makarius <makarius@sketis.net>
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
local hierarchy.

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.

Makarius

Email Gateway (Aug 19 2022 at 11:13):

From: Reza Roboubi <rezarob@gmail.com>
I have Ubuntu Linux 12.04 and downloaded Isabelle 2013 Feb.

I do this:
../Isabelle2013/bin/isabelle build -o browser_info -v -c -a

and everything seems fine. I even get fine looking HTML pages in places
like
HOME/.isabelle/Isabelle2013/browser_info/FOL/FOL.html

But for ZF I get errors:

I/O error:

/home/reza/.isabelle/Isabelle2013/browser_info/ZF/.session/entries (No
such file or directory)

Browser info: failed to update session index of

"$ISABELLE_BROWSER_INFO/ZF"

Can you help please.

Thank you,
Reza.

Last updated: Nov 21 2024 at 12:39 UTC