# HG changeset patch
# User wenzelm
# Date 951862107 -3600
# Node ID a959dfeeacc6c8878c93f5c091f41f16ad3f4e1a
# Parent  74639e19eca09aeb74345ba4a19dcb7d821bd776
tuned;

diff -r 74639e19eca0 -r a959dfeeacc6 Admin/makerpm
--- a/Admin/makerpm	Tue Feb 29 23:06:20 2000 +0100
+++ b/Admin/makerpm	Tue Feb 29 23:08:27 2000 +0100
@@ -11,7 +11,7 @@
 DISTBASE=~/tmp/isadist
 ROOT=/usr/share
 BIN=/usr/bin
-RPMRELEASE=1
+RPMRELEASE=2
 
 
 ## diagnostics
@@ -115,8 +115,8 @@
 
 This package contains the full source distribution of Isabelle
 together with documentation.  To make it actually run you still need
-the SML/NJ 110 compiler and any of the precompiled Isabelle
-object-logics (e.g. package isabelle-HOL).
+the ML compiler and any of the precompiled Isabelle object-logics
+(e.g. package isabelle-HOL).
 
 
 Isabelle is a popular generic theorem proving environment developed at