For later assignments you may also be required to submit PVS work in electronic format. When you get an assignment requiring submission of PVS work, look back here for instructions on how to submit your will, er, I mean, your PVS part of the assignment to the powers that be.
Create a dump file of your work from within PVS by placing your cursor in the PVS file you are going to submit and then selecting the "PVS / Files and Theories / dump-pvs-files" command from the PVS menu.
Hit return to create a dump file for the default file name. When PVS asks you "Include libraries? (y or n)" respond with "n". Then give the dump file the name "a2.dmp" when prompted (NOTE: this will overwrite any existing "a2.dmp" file in your current context.
Lately I can't breathe
Waiting, they're chasing me
No one listens but I'm OK with it
From Blister by OLP
Mark Lawford
Last modified: Fri Sep 10 23:39:07 EDT 2004