Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2002-09-11 22:01:29 -0700 (Wed, 11 Sep 2002)
Revision: 3871
Log message:

      Updating documentation to make some things a bit clearer.
      (In particular, I'm trying to make it somewhat easier for
      me to figure out what the code's doing in the event that
      I don't look at it for a long time.)
      

Changes  Path
+2 -0 metaprl/theories/fir/BUGS
+1 -1 metaprl/theories/fir/Conscript
+9 -3 metaprl/theories/fir/README
+19 -13 metaprl/theories/fir/mfir_connect_base.ml
+0 -4 metaprl/theories/fir/mfir_connect_base.mli
+5 -3 metaprl/theories/fir/mfir_connect_ty.ml
+2 -2 metaprl/theories/fir/mfir_ty.ml