To submit your PVS part of the assignment: from any system with a MIME compliant mail program such as "pine" or "netscape":
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 such as "a1.dmp" when prompted (NOTE: this will overwrite any existing "a1.dmp" file in your current context.)
Submit the dump file by emailing it as an attachment in a file with the subject "Assignment1" to lawford@groke.mcmaster.ca. Note that this is different from my usual e-mail addresss. THE SUBJECT OF YOUR EMAIL MUST BE EXACTLY "Assignment1" (no space!) FOR YOUR SUBMISSION TO BE PROPERLY RECEIVED.
NOTE: Sending subsequent e-mail messages to the above address with the title "Assignment1" overwrites your previous submission!
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: Wed Jan 17 10:40:12 EST 2001