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.
back to old sml version (due to c library problems)
authorkleing
Wed, 22 Dec 1999 16:13:29 +0100
changeset 8071 49dfba2f2325
parent 8070 dbbef2367723
child 8072 5b95377d7538
back to old sml version (due to c library problems)
Admin/filesizes file | annotate | diff | comparison | revisions 
--- a/Admin/filesizes	Wed Dec 22 16:12:38 1999 +0100
+++ b/Admin/filesizes	Wed Dec 22 16:13:29 1999 +0100
@@ -76,7 +76,7 @@
 fi
 
 if [ $# -eq 0 -o "$1" = "-rpm" ]; then
-  RPM_SML_SIZE=$[ $(wc -c < rpm/smlnj-base-110.0.6-0.i386.rpm) / 1024 ]
+  RPM_SML_SIZE=$[ $(wc -c < rpm/smlnj-110.0-3.i386.rpm) / 1024 ]
   RPM_BASE_SIZE=$[ $(wc -c < rpm/isabelle.rpm) / 1024 ]
   RPM_HOL_SIZE=$[ $(wc -c < rpm/isabelle-HOL.i386.rpm) / 1024 ]
   RPM_REAL_SIZE=$[ $(wc -c < rpm/isabelle-HOL-Real.i386.rpm) / 1024 ]
isabelle