Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated sml package name in installation exmaple
authorkleing
Thu, 23 Dec 1999 16:55:27 +0100
changeset 8080 908aca49c1a5
parent 8079 ccfc64f29333
child 8081 1c8de414b45d
updated sml package name in installation exmaple
Admin/page/dist-content/binary.content file | annotate | diff | comparison | revisions 
--- 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>
isabelle