Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-06-06 13:58:23 -0700 (Thu, 06 Jun 2002)
Revision: 3705
Log message:

      Changed to Base_meta implementation or arithmetical operations on numerals safer.
      See the "Base_meta" thread in the newsgroup for more information.
      
      P.S. The SIL changes are incomplete - I didn't want to invest time into
      a half-dead theory.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-06-09 21:05:31 -0700 (Sun, 09 Jun 2002)
Revision: 3706
Log message:

      Updated the patches.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-06-09 22:38:14 -0700 (Sun, 09 Jun 2002)
Revision: 3707
Log message:

      Since OCaml now has its own "include" keyword (which is similar to MetaPRL's one,
      but still different), I am replacing MetaPRL "include" keyword with an "extends".
      
      Hopefully, I've catched all the places in documentation and comments where it
      needed to be changed (except for tuturial screenshots :-( )...
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-06-11 01:53:55 -0700 (Tue, 11 Jun 2002)
Revision: 3709
Log message:

      1) Made sure all MetaPRL documentation passes the spellchecker.
      
      Please, please, please:
      
      - run "make clean; make MP_DEBUG=spell" more often
      
      - if you want to @tt a term name, use @tt[...], not @tt{...}
      Remember: {...} will be spellchecked, but [...] will not.
      
      2) Other minor documentation updates.
      

Changes by: Justin David Smith (justins at cs.caltech.edu)
Date: 2002-06-11 13:30:13 -0700 (Tue, 11 Jun 2002)
Revision: 3710
Log message:

      Revising FIR so it handles the level changes I pushed through recently.
      

Changes by: Justin David Smith (justins at cs.caltech.edu)
Date: 2002-06-11 15:00:53 -0700 (Tue, 11 Jun 2002)
Revision: 3711
Log message:

      Removing INCPATH statements from build system.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-06-11 16:22:04 -0700 (Tue, 11 Jun 2002)
Revision: 3712
Log message:

      theories.pdf reorganization - now each major theory (Base, Itt, Czf and Mc)
      has its own chapter.
      
      For consistensy, I've renamed the documentation therms for headings.
      The current terms are:
      - @theory{'t} - for chapter headings to use in xxx_theory modules (which should go first in
      theory printouts).
      - @module[name] - for module (LaTeX \section) heading
      - @modsection[name] - for a heading of a module section (LaTeX \subsectipon).
      - @modsubsection[name] - for a heading of a module subsection (LaTex \subsubsection)
      
      Also, what used to be hreftheory and reftheory are now called hrefmodule and refmodule.
      I have not implemented the new [h]reftheory yet.
      

Changes by: Justin David Smith (justins at cs.caltech.edu)
Date: 2002-06-14 11:51:30 -0700 (Fri, 14 Jun 2002)
Revision: 3720
Log message:

      Adding MetaPRL support for BoxedTuple (new MCC tuple class).
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-06-26 14:46:11 -0700 (Wed, 26 Jun 2002)
Revision: 3723
Log message:

      Corrected the page count
      

Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2002-06-27 22:02:11 -0700 (Thu, 27 Jun 2002)
Revision: 3724
Log message:

      Removed Mp_mc-related stuff temporarily, since the FIR changes have
      not been propagated. Currently, in MCC, only Phobos uses MetaPRL.
      When Brian gets back he needs to restore these files, but until then
      I need a working copy of MetaPRL for my work.
      

Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2002-06-27 22:03:00 -0700 (Thu, 27 Jun 2002)
Revision: 3725
Log message:

      Added old files for easy restoral.
      

Changes by: Adam Granicz (granicz at cs.caltech.edu)
Date: 2002-06-28 01:50:07 -0700 (Fri, 28 Jun 2002)
Revision: 3726
Log message:

      Sorry. Makefile still contained removed files.