[isabelle] Development version installation - wrong installation instructions on website



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




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.