--- 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