Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] [RESOLVED] Isabelle repository version, pr...


view this post on Zulip Email Gateway (Mar 12 2021 at 12:41):

From: Peter Lammich <lammich@in.tum.de>
Apparently, a

isabelle components -I

is required to set up the whole thing.
The error message when there is no such setup could be better, though.

view this post on Zulip Email Gateway (Mar 12 2021 at 12:54):

From: Manuel Eberl <eberlm@in.tum.de>
Note that this is documented in ~~/README_REPOSITORY.

Manuel
smime.p7s

view this post on Zulip Email Gateway (Mar 12 2021 at 13:00):

From: Peter Lammich <lammich@in.tum.de>
On Fri, 2021-03-12 at 13:54 +0100, Manuel Eberl wrote:

Note that this is documented in ~~/README_REPOSITORY.

Oh, I overlooked README_REPOSITORY. I checked README, but there is no
reference to README_REPOSITORY in there, though it knows that it is a
repository version!

"
Version information

view this post on Zulip Email Gateway (Mar 12 2021 at 13:31):

From: Makarius <makarius@sketis.net>
The README is for releases, where README_REPOSITORY is actually absent.

I was hoping that the long and unusual name README_REPOSITORY makes it stick
out naturally --- and I keep pointing out that file frequently.

Makarius


isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev


Last updated: Dec 07 2024 at 16:22 UTC