[nogin] We do not have to ignore any __verb_ or __simp_ files anymore_ Mon Sep 19 02:09:11 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-11-008778000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-11-008778000-PDT.html [nogin] _ Now all user configuration options are in mk/config file_ Mon Sep 19 02:09:12 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-12-598916000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-12-598916000-PDT.html [nogin] Jason says we do not need _g gcc option anymore_ Mon Sep 19 02:09:14 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-14-112456000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-14-112456000-PDT.html [nogin] Fixed the native code profiling build _ added back the filter goal_ Mon Sep 19 02:09:15 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-15-692875000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-15-692875000-PDT.html [jyh] Ouch_ I accidentally removed PFILES from mk/rules, breaking the_ Mon Sep 19 02:09:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-16-092024000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-16-092024000-PDT.html [nogin] There is no need for separate .mlz file_ Mon Sep 19 02:09:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-16-485372000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-16-485372000-PDT.html [nogin] This module gives an ro_array_like interface based on splay trees_ Mon Sep 19 02:09:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-16-853051000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-16-853051000-PDT.html [nogin] Fixed some bugs, added some debugging code_ Mon Sep 19 02:09:18 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-18-088618000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-18-088618000-PDT.html [nogin] Added the Linear_set implementation based on arrays _the same as was used_ Mon Sep 19 02:09:19 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-19-759139000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-19-759139000-PDT.html [nogin] Rebuild Makefile.dep when something important changes_ Mon Sep 19 02:09:23 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-23-512003000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-23-512003000-PDT.html [yegor] Local _ _a option _ type in Simplehashtbl replaced with OCAML _ _a option _ type_ Mon Sep 19 02:09:24 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-24-038415000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-24-038415000-PDT.html [yegor] Term_copy_weak, Term_copy2_weak, Term_norm _ new modules for term coping and_ Mon Sep 19 02:09:25 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-25-630224000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-25-630224000-PDT.html [nogin] Added the new weak term_copy files into the build _they are being built,_ Mon Sep 19 02:09:27 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-27-308507000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-27-308507000-PDT.html [eli] Re_added compilation of all fol files._ Mon Sep 19 02:09:28 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-28-996476000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-28-996476000-PDT.html [eli] The OCaml preprocessor. Compiled to byte code for now._ Mon Sep 19 02:09:29 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-29-383601000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-29-383601000-PDT.html [yegor] TermHash become a parameter for TermHeaderConstr, TermNorm,_ Mon Sep 19 02:09:30 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-30-094411000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-30-094411000-PDT.html [yegor] These files were intermediate version of TermCopy between old one_ Mon Sep 19 02:09:32 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-32-080388000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-32-080388000-PDT.html [nogin] Added profile_mem goal that allows one to profile memory allocation_ Mon Sep 19 02:09:32 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-32-820506000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-32-820506000-PDT.html [nogin] Added print_gc_stats_ unit __ unit command to the toploop._ Mon Sep 19 02:09:33 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-33-195359000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-09-33-195359000-PDT.html [nogin] 1_ Functorized the Term_copy[2]_weak/Term_hash/Termm_header/etc modules_ Mon Sep 19 02:10:03 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-10-03-571855000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-10-03-571855000-PDT.html [nogin] Made TermHeader, TermHash and TermNorm a part of the term module_ Mon Sep 19 02:10:08 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-10-08-432732000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-02/2005-09-19-02-10-08-432732000-PDT.html