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 @@ + + +
+ ++ +
+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 ++ + + +