[nogin] Added _nostdinc _nostdinc__ options to CPP _ we use cpp on .ml files_ Mon Sep 19 02:07:35 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-11/2005-09-19-02-07-35-505413000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-11/2005-09-19-02-07-35-505413000-PDT.html [nogin] nl __ mp_ Mon Sep 19 02:07:35 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-11/2005-09-19-02-07-35-898493000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-11/2005-09-19-02-07-35-898493000-PDT.html [nogin] Added the bi_directional Term_copy module_ Mon Sep 19 02:07:36 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-11/2005-09-19-02-07-36-290222000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-11/2005-09-19-02-07-36-290222000-PDT.html [nogin] I forgot to include these files into the previous Term_copy commit_ Mon Sep 19 02:07:38 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-11/2005-09-19-02-07-38-604809000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-11/2005-09-19-02-07-38-604809000-PDT.html