Changes to allow for an empty path in SWPATH and to allow for anonymous specs.
Changes to allow for an empty path in SWPATH and to allow for anonymous specs.


git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@2717 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware