Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2003-12-23 20:01:23 -0800 (Tue, 23 Dec 2003)
Revision: 5209
Log message:

      Added clarification how set_dfmode works, I write:
      It affects the output of functions that return terms immediately.
      For theory/proof listing you have to <TT>cd</TT> to "/" in order this change to take effect.
      

Changes	Path
+3 -1	metaprl/doc/htmlman/user-guide/mp-dform.html