Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-10-26 15:14:51 -0700 (Tue, 26 Oct 1999)
Revision: 2828
Log message:

      Renamed break -> hbreak (dforms construction) to be more consistent.
      

Changes	Path
+5 -5	metaprl/doc/htmlman/user-guide/mp-dform.html
+1 -1	metaprl/filter/base/filter_cache_fun.ml
+6 -6	metaprl/refiner/reflib/dform.ml
+3 -3	metaprl/refiner/reflib/rformat.ml
+2 -2	metaprl/refiner/reflib/rformat.mli
+11 -11	metaprl/theories/base/base_dform.ml
+1 -1	metaprl/theories/base/summary.ml
+1 -1	metaprl/theories/itt/itt_sort.ml
+4 -4	metaprl/theories/ocaml/ocaml_expr_df.ml