[jyh] Modified rewriter to handle Alexey_s new sequents. The rewriter is_ Mon Sep 19 02:03:23 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-23-625275000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-23-625275000-PDT.html [nogin] Fixed some dependencies_ Mon Sep 19 02:03:30 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-30-687260000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-30-687260000-PDT.html [jyh] Added performance testing function._ Mon Sep 19 02:03:31 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-31-073879000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-31-073879000-PDT.html [jyh] Updated z.ml for testing._ Mon Sep 19 02:03:31 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-31-438502000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-31-438502000-PDT.html [nogin] Bigger example_ Mon Sep 19 02:03:31 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-31-772058000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-31-772058000-PDT.html [nogin] Added the bound variables occurs check to the unification_ Mon Sep 19 02:03:32 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-32-116121000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-32-116121000-PDT.html [nogin] Added editor/ml directory to the profiled build_ Mon Sep 19 02:03:33 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-33-909550000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-33-909550000-PDT.html [nogin] Pass all __OCAMLOPTFLAGS_ to ocamlopt when building nl.opt_ Mon Sep 19 02:03:34 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-34-425352000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-34-425352000-PDT.html [jyh] Added _quit directive, and interactive_flag to reduce output in_ Mon Sep 19 02:03:34 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-34-789336000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-34-789336000-PDT.html [jyh] There is some thread problem preventing exiting_ override the exit with_ Mon Sep 19 02:03:35 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-35-327428000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-35-327428000-PDT.html [jyh] Flush output in time_it__._ Mon Sep 19 02:03:35 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-35-698610000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-35-698610000-PDT.html [jyh] Added splay_tables, which act like functional hash tables over_ Mon Sep 19 02:03:36 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-36-050591000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-36-050591000-PDT.html [nogin] Made splay code faster by decreasing its memory usage_ Mon Sep 19 02:03:36 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-36-611281000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-36-611281000-PDT.html [jyh] Added a append function to the SplayTable.union function so that_ Mon Sep 19 02:03:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-37-031737000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-37-031737000-PDT.html [nogin] Pass __PROFILE_ flag to gcc_ Mon Sep 19 02:03:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-37-448044000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-37-448044000-PDT.html [nogin] Call write_profiling__ before exiting_ Mon Sep 19 02:03:37 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-37-782395000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-37-782395000-PDT.html [nogin] It is __ROOT_, not __REF_ROOT__ Mon Sep 19 02:03:38 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-38-151557000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-38-151557000-PDT.html [nogin] Faster splay code_ Mon Sep 19 02:03:38 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-38-500114000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-38-500114000-PDT.html [nogin] Fixed profiling build_ Mon Sep 19 02:03:38 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-38-985379000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-38-985379000-PDT.html [jyh] Splay_table is now thread_safe, and mostly functional._ Mon Sep 19 02:03:39 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-39-311764000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-39-311764000-PDT.html [jyh] Added Splay_table caching in TPTP._ Mon Sep 19 02:03:40 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-40-017641000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-40-017641000-PDT.html [jyh] Added somewhat functional splay sets._ Mon Sep 19 02:03:41 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-41-082014000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-41-082014000-PDT.html [jyh] Relaxed addressing to allow rewriting in hyp Contexts._ Mon Sep 19 02:03:42 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-42-013105000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-42-013105000-PDT.html [nogin] Putting size only in Node, not in Leaf saves some memory_ Mon Sep 19 02:03:42 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-42-727423000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-42-727423000-PDT.html [jyh] Fixed a problem with Fun_splay_set.union, which was introducing_ Mon Sep 19 02:03:43 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-43-231290000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-43-231290000-PDT.html [nogin] Script to run nl.top_ Mon Sep 19 02:03:44 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-44-167386000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-44-167386000-PDT.html [jyh] Tptp_cache is using fun_splay_set._ Mon Sep 19 02:03:44 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-44-961424000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-44-961424000-PDT.html [jyh] Added util String_set module._ Mon Sep 19 02:03:45 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-45-568155000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-45-568155000-PDT.html [nogin] A useful tool for debugging new implementations of Set module_ Mon Sep 19 02:03:46 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-46-700735000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-46-700735000-PDT.html [nogin] Inlining rotate__ functions _by hands_ saves some memory allocations_ Mon Sep 19 02:03:47 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-47-162890000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-47-162890000-PDT.html [nogin] When v is not in s, _remove v s_ should return s, not a copy of s._ Mon Sep 19 02:03:47 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-47-587598000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-47-587598000-PDT.html [nogin] Compute the free variables lazily_ Mon Sep 19 02:03:47 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-47-963246000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-47-963246000-PDT.html [jyh] Fixed unification to compare constants after bound variables,_ Mon Sep 19 02:03:48 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-48-764322000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-48-764322000-PDT.html [nogin] In add function, when element is already there,_ Mon Sep 19 02:03:49 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-49-772723000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-49-772723000-PDT.html [nogin] Splay_table_ fixed some bugs and did some optimizations_ Mon Sep 19 02:03:50 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-50-142854000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-50-142854000-PDT.html [nogin] Faster term camparison_ Mon Sep 19 02:03:51 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-51-505835000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-51-505835000-PDT.html [nogin] Removed some unused code _set_of_list function__ Mon Sep 19 02:03:51 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-51-883059000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-51-883059000-PDT.html [jyh] Yet another fix to unification. Changes have not been added to_ Mon Sep 19 02:03:52 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-52-256036000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-52-256036000-PDT.html [nogin] Using Small_set version _with max_length_12_ makes things faster_ Mon Sep 19 02:03:53 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-53-290008000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-53-290008000-PDT.html [nogin] Check if the substitution is non_empty before calling do_term_subst_ Mon Sep 19 02:03:53 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-53-651507000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-53-651507000-PDT.html [jyh] Added unify_subst type to retain unification info between separate_ Mon Sep 19 02:03:53 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-54-004750000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-54-004750000-PDT.html [nogin] Removed _ugly_ sequents._ Mon Sep 19 02:03:55 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-55-492031000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-55-492031000-PDT.html [nogin] Fixed some functions that were calling dest_term on sequents_ Mon Sep 19 02:03:56 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-56-147136000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-56-147136000-PDT.html [nogin] Fixed a bug with wrong delayed variable calculation in delayed substitution_ Mon Sep 19 02:03:56 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-56-596084000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-56-596084000-PDT.html [nogin] Moved the check for empty substitution into the rewriter_ Mon Sep 19 02:03:57 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-57-030024000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-57-030024000-PDT.html [nogin] Made variables _including so_variables_ a _special_ term._ Mon Sep 19 02:03:57 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-57-587451000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-57-587451000-PDT.html [nogin] It seems better to have a separate _special_ form for FO_vars._ Mon Sep 19 02:03:58 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-58-546332000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-58-546332000-PDT.html [nogin] Faster dest_term, is_var_term and dest_var functions_ Mon Sep 19 02:03:59 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-59-120384000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-59-120384000-PDT.html [nogin] Eliminated some calls to dest_term on FO vars_ Mon Sep 19 02:03:59 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-59-522025000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-03-59-522025000-PDT.html [nogin] Fixed a typo_ Mon Sep 19 02:04:00 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-00-021843000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-00-021843000-PDT.html [nogin] Eliminated some closure creation_ Mon Sep 19 02:04:00 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-00-413154000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-00-413154000-PDT.html [nogin] Cleaner a little faster code for unification._ Mon Sep 19 02:04:00 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-00-785933000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-00-785933000-PDT.html [nogin] Removed unused mk_var_op function_ Mon Sep 19 02:04:01 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-01-270428000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-01-270428000-PDT.html [jyh] Added red_black set implementation._ Mon Sep 19 02:04:01 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-01-733705000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-01-733705000-PDT.html [nogin] Added some _hopefully_ useful information from my letter to V.N.Krupski_ Mon Sep 19 02:04:03 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-03-579642000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-03-579642000-PDT.html [nogin] Since Fun_splay_set in much faster than Splay_set_ Mon Sep 19 02:04:03 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-03-977305000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-03-977305000-PDT.html [nogin] We used to have S _Set_ module signature defined in Splay_set._ Mon Sep 19 02:04:04 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-04-526005000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-04-526005000-PDT.html [jyh] Red_black_set.union inserts the smaller tree into the larger,_ Mon Sep 19 02:04:05 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-05-087669000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-05-087669000-PDT.html [eli] Removed redundant onSomeHyp from base_auto_tactic._ Mon Sep 19 02:04:05 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-05-558746000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-05-558746000-PDT.html [eli] Placed propDecideT in itt_prop_decide._ Mon Sep 19 02:04:06 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-06-200097000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-06-200097000-PDT.html [jyh] Added multithreaded refinement. NOTE_ this requires a patch to_ Mon Sep 19 02:04:06 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-06-879203000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-06-879203000-PDT.html [eli] Changed the _directory_ separator from _._ to _/___ Mon Sep 19 02:04:09 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-09-676746000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-09-676746000-PDT.html [jyh] Added distributed refinement using Ensemble._ Mon Sep 19 02:04:10 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-10-141686000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-10-141686000-PDT.html [jyh] Slightly better Ensemble scheduling._ Mon Sep 19 02:04:17 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-17-316930000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-17-316930000-PDT.html [nogin] Added captions_ Mon Sep 19 02:04:21 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-21-947901000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-21-947901000-PDT.html [nogin] Added some comments on how the free_vars and bfree_vars fields in the Term_ds_ Mon Sep 19 02:04:22 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-22-401054000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-22-401054000-PDT.html [nogin] Added _exists x . _x _ y__ example._ Mon Sep 19 02:04:22 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-22-960891000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-22-960891000-PDT.html [nogin] They are SOVar_s, not TVar_s._ Mon Sep 19 02:04:23 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-23-331117000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-23-331117000-PDT.html [nogin] Added the HTML_ized Term_ds type definitions._ Mon Sep 19 02:04:23 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-23-716948000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-23-716948000-PDT.html [eli] Fixed a small bug in compare_param, and changed indentation._ Mon Sep 19 02:04:24 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-24-147776000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-24-147776000-PDT.html [eli] Some more indentations._ Mon Sep 19 02:04:25 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-25-912487000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-25-912487000-PDT.html [nogin] When building it optimized without Ensemble, do not forget to link .a file_ Mon Sep 19 02:04:26 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-26-496000000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-26-496000000-PDT.html [jyh] Fixed the thread problem without Ensemble. Removed the library_ Mon Sep 19 02:04:26 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-26-878049000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-26-878049000-PDT.html [nogin] Removed all references to _/usr/local/lib/nuprl_light_ from the code_ Mon Sep 19 02:04:27 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-27-507650000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1998-08/2005-09-19-02-04-27-507650000-PDT.html