Changes by: ( at unknown.email)
Date: 2001-08-09 18:26:47 -0700 (Thu, 09 Aug 2001)
Revision: 3366
Log message:

      This commit was manufactured by cvs2svn to create tag
      'pre-program-state-aware'.

Changes	Path
Copied	metaprl-tags/pre-program-state-aware
Deleted	metaprl-tags/pre-program-state-aware/.cpdir
Deleted	metaprl-tags/pre-program-state-aware/.cprc
Deleted	metaprl-tags/pre-program-state-aware/BUGS
Deleted	metaprl-tags/pre-program-state-aware/Conscript
Deleted	metaprl-tags/pre-program-state-aware/Construct
Deleted	metaprl-tags/pre-program-state-aware/Makefile
Deleted	metaprl-tags/pre-program-state-aware/README
Deleted	metaprl-tags/pre-program-state-aware/theories/.cprc
Deleted	metaprl-tags/pre-program-state-aware/theories/Conscript