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