diff -r bf4f2c1b26cc -r e9e341bc7d42 Admin/website/installation.html
--- a/Admin/website/installation.html Tue Sep 27 14:41:41 2005 +0200
+++ b/Admin/website/installation.html Tue Sep 27 15:30:37 2005 +0200
@@ -23,7 +23,7 @@
ready-to-use binary packages for Linux/x86, MaxOS X /
Darwin, and Solaris. For other platforms, Isabelle logics
need to be compiled separately (see also INSTALL).
+ href="//dist/Isabelle/INSTALL">INSTALL).
@@ -76,10 +76,10 @@
Unpack the archives to an appropriate location, e. g.
/usr/local:
- - tar -C /usr/local -xzf
- - tar -C /usr/local -xzf
- - tar -C /usr/local -xzf
- - tar -C /usr/local -xzf
+ - tar -C /usr/local -xzf
+ - tar -C /usr/local -xzf
+ - tar -C /usr/local -xzf
+ - tar -C /usr/local -xzf
@@ -122,10 +122,10 @@
Unpack the archives to an appropriate location, e. g.
/usr/local:
- - gtar -C /usr/local -xzf
- - gtar -C /usr/local -xzf
- - gtar -C /usr/local -xzf
- - gtar -C /usr/local -xzf
+ - gtar -C /usr/local -xzf
+ - gtar -C /usr/local -xzf
+ - gtar -C /usr/local -xzf
+ - gtar -C /usr/local -xzf
@@ -155,10 +155,10 @@
Unpack the archives to an appropriate location, e. g.
/usr/local:
- - gtar -C /usr/local -xzf
- - gtar -C /usr/local -xzf
- - gtar -C /usr/local -xzf
- - gtar -C /usr/local -xzf
+ - gtar -C /usr/local -xzf
+ - gtar -C /usr/local -xzf
+ - gtar -C /usr/local -xzf
+ - gtar -C /usr/local -xzf