Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-05-10 16:30:05 -0700 (Wed, 10 May 2006)
Revision: 9173
Log message:

      MetaPRL is compatible with OCaml 3.09.2
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-05-31 14:14:44 -0700 (Wed, 31 May 2006)
Revision: 9224
Log message:

      For now, we can't use
      
         declare typeclass Judgment -> Perv!Judgment
      
      because the filter/reflection has no idea what typeclass
      subtyping mean.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-05-31 14:54:04 -0700 (Wed, 31 May 2006)
Revision: 9228
Log message:

      Forgot .cmi file.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-05-31 14:55:36 -0700 (Wed, 31 May 2006)
Revision: 9229
Log message:

      
      Removed ocaml_doc.  It has been moved to plain LaTeX in the papers
      directory.
      

Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-05-31 15:50:00 -0700 (Wed, 31 May 2006)
Revision: 9232
Log message:

      Updated the "you need to use OMake" message (the OMake SVN trunk it was
      pointing at no longer exists).
      

Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2006-05-31 21:45:51 -0700 (Wed, 31 May 2006)
Revision: 9236
Log message:

      Correct a typo in the documentation

Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2006-05-31 23:16:01 -0700 (Wed, 31 May 2006)
Revision: 9237
Log message:

      Start writing reflection_quickref - a quick guide and catalog of the reflection theories