Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 1999-03-02 08:59:01 -0800 (Tue, 02 Mar 1999)
Revision: 2603
Log message:

      GC of hashtable is temporarily removed due error in it.
      Now hashtable is always growing but terms can be gc-ed from weak-array
      

Changes by: Lori Lorigo (lorigo at sbcglobal.net)
Date: 1999-03-04 07:02:04 -0800 (Thu, 04 Mar 1999)
Revision: 2604
Log message:

      Implemented access to rewrites and fixed saving of theories in nuprl/mp link
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-03-05 13:00:46 -0800 (Fri, 05 Mar 1999)
Revision: 2605
Log message:

      Added links to our home pages
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-03-05 13:10:36 -0800 (Fri, 05 Mar 1999)
Revision: 2606
Log message:

      Added links to OCaml and Camlp4 web sites
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-03-05 13:33:22 -0800 (Fri, 05 Mar 1999)
Revision: 2607
Log message:

      There is no need for Makefile.dep here.
      
      Even worse - when Makefile.dep is included from this Makefile,
      it causes "make depend" to be ran prematurely in the subdirectories
      which, in turn, causes Makefile.dep's in subdirectories to miss lots of
      dependacies
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-03-08 12:29:49 -0800 (Mon, 08 Mar 1999)
Revision: 2608
Log message:

      Link to framework/mp-framework.html directly until framework/mp-index.html
      gets something reasonable
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-03-08 13:37:27 -0800 (Mon, 08 Mar 1999)
Revision: 2609
Log message:

      Added links that were present in mp-tutorial.html, but missing here
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-03-09 14:26:51 -0800 (Tue, 09 Mar 1999)
Revision: 2610
Log message:

      Performance mesurement testfiles
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-03-09 16:22:00 -0800 (Tue, 09 Mar 1999)
Revision: 2611
Log message:

      Added the link to the CVS repository on WWW
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-03-09 16:54:28 -0800 (Tue, 09 Mar 1999)
Revision: 2612
Log message:

      I configured Apache on Ensemble01 so that you can write
      http://ensebmle01.cs.cornell.edu:12000/cvsweb/...
      istead of
      http://ensebmle01.cs.cornell.edu:12000/cgi-bin/cvsweb.cgi/...
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-03-09 20:15:48 -0800 (Tue, 09 Mar 1999)
Revision: 2613
Log message:

      "make depend" should just go and erase all Makefile.dep files since
      subsequent make would rebuild them
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-03-09 22:39:31 -0800 (Tue, 09 Mar 1999)
Revision: 2614
Log message:

      - We no longer have "light" in the system name
      - Added links to User guide and added Tutorial to the list of resources
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-03-09 22:41:34 -0800 (Tue, 09 Mar 1999)
Revision: 2615
Log message:

      Target should be _top
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-03-10 16:56:32 -0800 (Wed, 10 Mar 1999)
Revision: 2616
Log message:

      Updated patches information
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-03-10 17:15:39 -0800 (Wed, 10 Mar 1999)
Revision: 2617
Log message:

      - Link to Ensemble home page
      - Use mpopt and mptop, not mp
      - Refer to mp12 as "MetaPRL font", not "Nuprl font"
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-03-15 15:04:30 -0800 (Mon, 15 Mar 1999)
Revision: 2618
Log message:

      README was really outdated.
      mp-install.html forgot to mention CAMLLIB and CAMLP4LIB environment variables.
      
      Thanks to David Gurr <gurr@mrs.med.ge.com> for those!
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-03-15 15:41:39 -0800 (Mon, 15 Mar 1999)
Revision: 2619
Log message:

      Another David Gurr's suggestion: noted that mk/config has to be edited before running make.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-03-15 15:55:17 -0800 (Mon, 15 Mar 1999)
Revision: 2620
Log message:

      Oops, I did not mean to commit that
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-03-18 22:18:45 -0800 (Thu, 18 Mar 1999)
Revision: 2621
Log message:

      Working on MetaPRL portability.
      
      clib - fixed some gcc-isms
      
      refiner - some C preprocesseors do not like if in "-I<directory>" option
         -I and <directory> are separated by a space - fixed
      
      mk - C compiler is now defined in mk/config, gcc is used by default
      
      mk/rules - some gcc-specific preprocessor options are used only when CC equals
         gcc, some Solaris-specific cpp options are used when CC!=gcc and OSLEVEL=
         solaris
      
      mk/rules - when OSLEVEL=solaris, we have to compile libposix4 along with
         libpthread, on Linux we only need libpthread and on all other systems,
         make should print an error message
      
      With these changes I was able to compile bytecode MetaPRL with pthreads
      on Solaris using either cc or gcc, but native code MetaPRL still would not
      compile.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-03-19 21:55:17 -0800 (Fri, 19 Mar 1999)
Revision: 2622
Log message:

      Fixed a typo
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-03-20 12:28:10 -0800 (Sat, 20 Mar 1999)
Revision: 2623
Log message:

      Backing up the previous change
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-03-25 12:28:25 -0800 (Thu, 25 Mar 1999)
Revision: 2624
Log message:

      Added Yegor Bryuhov and Vladimir Krupski