Sophie: pvs-sbcl-4.2-4.20100126svn.fc13 src

pvs-sbcl-4.2-4.20100126svn.fc13.src.rpm

Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse

[Desktop Entry]
Version=1.0
Type=Application
Name=PVS (SBCL Build)
GenericName=PVS
Comment=An interactive theorem prover
TryExec=pvs-sbcl
Exec=pvs-sbcl %F
MimeType=application/x-pvs;
Terminal=false
Categories=Application;Development