Stop setting SWPATH in preludes to running Specware, in the hopes of fixing obscure bug with base library initialization. (Fingers crossed)
Stop setting SWPATH in preludes to running Specware, in the
hopes of fixing obscure bug with base library initialization.
(Fingers crossed)


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

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