# HG changeset patch
# User kleing
# Date 945964527 -3600
# Node ID 908aca49c1a5d629712aa785e6beaa90fa535fff
# Parent  ccfc64f293335b5328d6d5c0c5fce9083bcbf1e5
updated sml package name in installation exmaple

diff -r ccfc64f29333 -r 908aca49c1a5 Admin/page/dist-content/binary.content
--- a/Admin/page/dist-content/binary.content	Wed Dec 22 20:29:59 1999 +0100
+++ b/Admin/page/dist-content/binary.content	Thu Dec 23 16:55:27 1999 +0100
@@ -26,7 +26,7 @@
 Example installation procedure:
 
 <pre>
-rpm -i smlnj-base-110.0.3-0.i386.rpm
+rpm -i smlnj-110.0-3.i386.rpm 
 rpm -i --prefix /usr/share isabelle.rpm             
 rpm -i --prefix /usr/share isabelle-HOL.i386.rpm    
 </pre>