Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-01-27 22:06:33 -0800 (Tue, 27 Jan 2004)
Revision: 5296
Log message:

      - When the list of subgoals is too long, show at least the first 5
      (I am not sure about the constants 5 and 20, may be they should be bigger. And
      ideally they should be configurable...).
      
      - Added a debug variable that would force printing the full list of subgoals,
      even when it is very long.
      

Changes	Path
+8 -2	metaprl/support/shell/proof_edit.ml