Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-01-05 18:26:38 -0800 (Mon, 05 Jan 2004)
Revision: 5225
Log message:

      Scripts for getting the "grounded" status of proofs.
      

Changes	Path
Added	metaprl/util/do-check-all
Properties	metaprl/util/do-check-all
+3 -3	metaprl/util/do-check-all.awk
+43 -9	metaprl/util/do-check-all.sh