================================================================================
===                         R  E  A  D    M  E                               ===
================================================================================
===   P A T H  V a r i a b l e
===--------------------------------------
=== This configuration assumes pvs and proveit are in the PATH variable.
=== If pvs and proveit are not, please add the following to ~/.profile:
#
# export PVS_DIR=$HOME/PVS-6.0 ## The installation path of PVS
#
# if [ -d $PVS_HOME ]; then
#    export PATH=$PVS_DIR:$PATH
# fi

=========================================
===  N A S A  P V S  L I B R A R I E S
===--------------------------------------
=== The NASA PVS Libraries are required for the preverified components.
=== This configuration assumes that $NASALIB has been installed and associated
=== with this environment variable. 

=== If the NASA PVS libraries have not been installed, please visit:
#
# http://shemesh.larc.nasa.gov/fm/ftp/larc/PVS-library/
#
=== A COPY IS NOT PROVIDED WITH THIS DISTRIBUTION
#
# $NASALIB should be set to: $INSTALL_DIR/nasalib, 
#  e.g. /Users/jnewell/pvs_nasalib/nasalib
# $NASALIB should be added to ~/.profile

=========================================
===   U S A G E
===--------------------------------------
=== Terminal:

$ unzip dvr-obl-TIMING-1.0-SNAPSHOT-bin.zip
$ cd dvr-obl-TIMING-1.0-SNAPSHOT

=== If you’re running batch mode:

$ sh prove_all.sh # This runs a batch over all the pvs files. 
                  # You have to be in the same dir as the file

=== If you want to use the pvs environment

$ source configure.sh # This sets the library path for pvs. 
                      # You have to be in the same dir as the file
$ cd pvs/obligations # Example directory
$ pvs <<somefile>>.pvs&

=== If you’re using the pvs environment, 
=== do a quick M-x tc to see if it resolves the imports