Obtaining and Installing PCDC
=============================

The system is obtained and installed in the following steps:

1. Create a file in your local PVS directory called ``dc'': {\tt
    mkdir dc} and change to this directory: {\tt cd dc}.

2. Get \dcp\ by anonymous ftp from {\tt ftp.id.dtu.dk} as the tar
  file {\tt /pub/ProCoS/Jens.U.Skakkebaek/PCDC.tar.Z} in binary mode.

3. Uncompress the file: {\tt uncompress PCDC.tar.Z}

4. Extract files from the tar file: {\tt tar xpf PCDC.tar}

5. Modify your  {\tt \~{}/.pvsemacs} to include the contents of the
  file {\tt dc/load-dc}.

6. Print out the documentation found in {\tt pvs/dc/doc}.

7. The system is now ready for use.