Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-12-22 18:48:15 -0800 (Sun, 22 Dec 2002)
Revision: 3972
Log message:

      Fixing bug #26.
      Now the Mp_resource module will rais an Invalid_argument exception if there
      are duplicate bookmarks.
      

Changes	Path
+1 -0	metaprl/doc/resources_spec.txt
+5 -3	metaprl/refiner/reflib/mp_resource.ml