diff -r c49d17fac066 -r 77d654ea31a9 Admin/README-rpm.html --- /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 @@ + + + + +Isabelle Binary Distribution + + + + +

Isabelle Binary Distribution

+ +This is your fast path to Isabelle on Linux/x86 systems (with rpm +package management): + +

+ +

+rpm -i smlnj-110.0-3.i386.rpm                           # mandatory
+rpm -i --prefix /usr/share isabelle.rpm                 # mandatory
+rpm -i --prefix /usr/share isabelle-HOL.i386.rpm        # recommended
+rpm -i --prefix /usr/share isabelle-HOL-Real.i386.rpm   # optional
+rpm -i --prefix /usr/share isabelle-ZF.i386.rpm         # optional
+rpm -i --prefix /usr/share isabelle-pdfdocs.rpm         # optional
+
+ + + +