# HG changeset patch # User wenzelm # Date 1010768850 -3600 # Node ID 5af701433ea167a177f6185755919e04088b83f7 # Parent 226fc0e2e7e3859438d5a1a631a8c257ec10c468 tuned; diff -r 226fc0e2e7e3 -r 5af701433ea1 Admin/page/dist-content/packages.content --- a/Admin/page/dist-content/packages.content Fri Jan 11 17:04:49 2002 +0100 +++ b/Admin/page/dist-content/packages.content Fri Jan 11 18:07:30 2002 +0100 @@ -36,11 +36,10 @@
-Some of the packages below are platform dependent. We include a -complete binary distribution for Linux/x86 and Solaris/Sparc systems; -the PowerPC platform requires separate compilation of Isabelle logic -images. Isabelle also works with different Standard ML -implementations (for further platforms) not included here. +Some of the packages below are platform dependent. We include binary +packages for Linux/x86, Solaris/Sparc, and Darwin/PPC (MacOS X). +Isabelle also works with different Standard ML implementations (and +further platforms).
@@ -49,29 +48,31 @@
@@ -97,15 +98,15 @@
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
-