Email Gateway (Mar 12 2021 at 12:41): 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.
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
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
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 21 2024 at 16:20 UTC