Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-11-11 15:49:50 -0800 (Wed, 11 Nov 1998)
Revision: 2518
Log message:

      Added -nostdinc -nostdinc++ options to CPP - we use cpp on .ml files
      and there is no need to look into C/C++ include directories.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-11-11 17:15:31 -0800 (Wed, 11 Nov 1998)
Revision: 2519
Log message:

      nl -> mp
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-11-29 15:28:38 -0800 (Sun, 29 Nov 1998)
Revision: 2520
Log message:

      Added the bi-directional Term_copy module
      written by Yegon Bryukhov <yegor@lpcs.math.msu.ru>
      
      This version is undebugged and is very slow:
      it seems to be quadratic and also it becomes much slower
      after each invocation.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-11-29 15:30:20 -0800 (Sun, 29 Nov 1998)
Revision: 2521
Log message:

      I forgot to include these files into the previous Term_copy commit