Admin/README-rpm.html
changeset 7489 77d654ea31a9
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/README-rpm.html	Mon Sep 06 17:03:19 1999 +0200
@@ -0,0 +1,29 @@
+<html>
+
+<head>
+<!-- $Id$ -->
+<title>Isabelle Binary Distribution</title>
+</head>
+
+<body>
+
+<h1>Isabelle Binary Distribution</h1>
+
+This is your fast path to Isabelle on Linux/x86 systems (with rpm
+package management):
+
+<p>
+
+<pre>
+rpm -i <a
+href="ftp://ftp.cl.cam.ac.uk/MIRRORED/smlnj/release/110/smlnj-110.0-3.i386.rpm">smlnj-110.0-3.i386.rpm</a>                           # mandatory
+rpm -i --prefix /usr/share <a href="isabelle.rpm">isabelle.rpm</a>                 # mandatory
+rpm -i --prefix /usr/share <a href="isabelle-HOL.i386.rpm">isabelle-HOL.i386.rpm</a>        # recommended
+rpm -i --prefix /usr/share <a href="isabelle-HOL-Real.i386.rpm">isabelle-HOL-Real.i386.rpm</a>   # optional
+rpm -i --prefix /usr/share <a href="isabelle-ZF.i386.rpm">isabelle-ZF.i386.rpm</a>         # optional
+rpm -i --prefix /usr/share <a href="isabelle-pdfdocs.rpm">isabelle-pdfdocs.rpm</a>         # optional
+</pre>
+
+</body>
+
+</html>