[yegor] GC of hashtable is temporarily removed due error in it._ Mon Sep 19 02:10:10 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-10-595153000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-10-595153000-PDT.html [lolorigo] Implemented access to rewrites and fixed saving of theories in nuprl/mp link_ Mon Sep 19 02:10:12 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-12-262508000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-12-262508000-PDT.html [nogin] Added links to our home pages_ Mon Sep 19 02:10:13 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-13-102011000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-13-102011000-PDT.html [nogin] Added links to OCaml and Camlp4 web sites_ Mon Sep 19 02:10:13 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-13-452815000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-13-452815000-PDT.html [nogin] There is no need for Makefile.dep here._ Mon Sep 19 02:10:14 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-14-856815000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-14-856815000-PDT.html [nogin] Link to framework/mp_framework.html directly until framework/mp_index.html_ Mon Sep 19 02:10:15 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-15-217525000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-15-217525000-PDT.html [nogin] Added links that were present in mp_tutorial.html, but missing here_ Mon Sep 19 02:10:15 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-15-578950000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-15-578950000-PDT.html [nogin] Performance mesurement testfiles_ Mon Sep 19 02:10:15 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-15-935757000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-15-935757000-PDT.html [nogin] Added the link to the CVS repository on WWW_ Mon Sep 19 02:10:16 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-16-617952000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-16-617952000-PDT.html [nogin] I configured Apache on Ensemble01 so that you can write_ Mon Sep 19 02:10:18 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-18-194475000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-18-194475000-PDT.html [nogin] _make depend_ should just go and erase all Makefile.dep files since_ Mon Sep 19 02:10:18 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-18-558427000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-18-558427000-PDT.html [nogin] _ We no longer have _light_ in the system name_ Mon Sep 19 02:10:18 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-18-940056000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-18-940056000-PDT.html [nogin] Target should be _top_ Mon Sep 19 02:10:19 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-19-305015000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-19-305015000-PDT.html [nogin] Updated patches information_ Mon Sep 19 02:10:19 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-19-654732000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-19-654732000-PDT.html [nogin] _ Link to Ensemble home page_ Mon Sep 19 02:10:20 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-20-060616000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-20-060616000-PDT.html [nogin] README was really outdated._ Mon Sep 19 02:10:20 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-20-462914000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-20-462914000-PDT.html [nogin] Another David Gurr_s suggestion_ noted that mk/config has to be edited before running make._ Mon Sep 19 02:10:20 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-20-884388000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-20-884388000-PDT.html [nogin] Oops, I did not mean to commit that_ Mon Sep 19 02:10:21 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-21-331492000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-21-331492000-PDT.html [nogin] Working on MetaPRL portability._ Mon Sep 19 02:10:21 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-21-661473000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-21-661473000-PDT.html [nogin] Fixed a typo_ Mon Sep 19 02:10:22 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-22-506419000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-22-506419000-PDT.html [nogin] Backing up the previous change_ Mon Sep 19 02:10:24 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-24-055443000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-24-055443000-PDT.html [nogin] Added Yegor Bryuhov and Vladimir Krupski_ Mon Sep 19 02:10:24 PDT 2005 http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-24-382577000-PDT.html http://svn.metaprl.org/commitlogs/metaprl/1999-03/2005-09-19-02-10-24-382577000-PDT.html