updated sml package name in installation exmaple
authorkleing
Thu Dec 23 16:55:27 1999 +0100 (1999-12-23 ago)
changeset 8080908aca49c1a5
parent 8079 ccfc64f29333
child 8081 1c8de414b45d
updated sml package name in installation exmaple
Admin/page/dist-content/binary.content
     1.1 --- a/Admin/page/dist-content/binary.content	Wed Dec 22 20:29:59 1999 +0100
     1.2 +++ b/Admin/page/dist-content/binary.content	Thu Dec 23 16:55:27 1999 +0100
     1.3 @@ -26,7 +26,7 @@
     1.4  Example installation procedure:
     1.5  
     1.6  <pre>
     1.7 -rpm -i smlnj-base-110.0.3-0.i386.rpm
     1.8 +rpm -i smlnj-110.0-3.i386.rpm 
     1.9  rpm -i --prefix /usr/share isabelle.rpm             
    1.10  rpm -i --prefix /usr/share isabelle-HOL.i386.rpm    
    1.11  </pre>