Admin/page/dist-content/binary.content
changeset 8080 908aca49c1a5
parent 8070 dbbef2367723
child 9920 9734f2717203
--- 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>