Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-24 20:33:36 -0700 (Thu, 24 Jun 2004)
Revision: 6022
Log message:

      The NASSLI version of MetaPRL is now version 0.9.6
      

Changes	Path
+3 -3	metaprl-branches/nasslli_branch/mk/defaults