Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-05-25 15:41:19 -0700 (Thu, 25 May 2000)
Revision: 2988
Log message:

      Print first the rulebox count, then the rule count to be consistent
      with some other part of the system (wish I knew which one) that also
      prints those.
      

Changes	Path
+1 -1	metaprl/editor/ml/shell_package.ml