Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Development version installation - wrong insta...

view this post on Zulip Email Gateway (Aug 18 2022 at 16:33):

From: Peter Lammich <peter.lammich@uni-muenster.de>
Hi all,
on the development version page (http://isabelle.in.tum.de/devel/) , you
write:

tar -C /usr/local -xzf Isabelle_01-Dec-2010.tar.gz
<http://isabelle.in.tum.de/devel/Isabelle_01-Dec-2010.tar.gz>

will unpack the distribution to /usr/local/Isabelle.

However, the tar.gz file does not contain an Isabelle folder or link,
just the folder "Isabelle_01-Dec-2010".

Regards,
Peter

Last updated: Nov 21 2024 at 12:39 UTC