Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-12-20 17:18:28 -0800 (Fri, 20 Dec 2002)
Revision: 3969
Log message:

      Print out the number of nodes when doing status[_all]. Also, include those
      numbers in the totals counted by the scripts.
      

Changes  Path
+7 -7 metaprl/editor/ml/proof_edit.ml
+2 -2 metaprl/editor/ml/proof_edit.mli
+4 -4 metaprl/editor/ml/shell.ml
+2 -15 metaprl/util/check-status.sh
Added metaprl/util/status-all.awk
Properties metaprl/util/status-all.awk
Added metaprl/util/status-all.sh
Properties metaprl/util/status-all.sh