K 25
svn:wc:ra_dav:version-url
V 48
/svnroot/stp-fast-prover/!svn/ver/1432/trunk/stp
END
clean-install.sh
K 25
svn:wc:ra_dav:version-url
V 65
/svnroot/stp-fast-prover/!svn/ver/1384/trunk/stp/clean-install.sh
END
LICENSE
K 25
svn:wc:ra_dav:version-url
V 55
/svnroot/stp-fast-prover/!svn/ver/158/trunk/stp/LICENSE
END
AUTHORS
K 25
svn:wc:ra_dav:version-url
V 56
/svnroot/stp-fast-prover/!svn/ver/1411/trunk/stp/AUTHORS
END
CODING_GUIDLINES
K 25
svn:wc:ra_dav:version-url
V 64
/svnroot/stp-fast-prover/!svn/ver/346/trunk/stp/CODING_GUIDLINES
END
INSTALL
K 25
svn:wc:ra_dav:version-url
V 55
/svnroot/stp-fast-prover/!svn/ver/997/trunk/stp/INSTALL
END
LICENSE_COMPONENTS
K 25
svn:wc:ra_dav:version-url
V 67
/svnroot/stp-fast-prover/!svn/ver/1344/trunk/stp/LICENSE_COMPONENTS
END
DOWNLOAD
K 25
svn:wc:ra_dav:version-url
V 56
/svnroot/stp-fast-prover/!svn/ver/204/trunk/stp/DOWNLOAD
END
README
K 25
svn:wc:ra_dav:version-url
V 54
/svnroot/stp-fast-prover/!svn/ver/766/trunk/stp/README
END
