Added support for PVS 5.0 to requirements.

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@7729 57e6efec-57d4-0310-aeb1-a6c144bb1a8b

Added support for PVS 5.0 to requirements.
10cd524b · Mark Lawford · 73066081 · 10cd524b · 10cd524b
Commit 10cd524b authored 13 years ago by Mark Lawford
--- a/html/TT_gs_req.m
+++ b/html/TT_gs_req.m
@@ -22,7 +22,7 @@
 % * PVS is supported for checking for completness and
 % disjointness of tables.
 % * PVS is downloadable from http://pvs.csl.sri.com/
-% * System has been tested on PVS versions 4.2 and 4.1
+% * System has been tested on PVS versions 5.0, 4.2 and 4.1
 % * Ensure that pvs executable is on shell path
 % * *Note:* PVS is a Linux and MacOS X application and will not run natively
 % on Windows.
--- a/html/html/TT_gs_req.html
+++ b/html/html/TT_gs_req.html
@@ -62,7 +62,7 @@ p.footer {
  color: gray;
 }

-  </style></head><body><div class="content"><h1>System Requirements</h1><!--introduction--><!--/introduction--><h2>Contents</h2><div><ul><li><a href="#1">Matlab/Simulink</a></li><li><a href="#2">Table Checking</a></li><li><a href="#3">CVC3</a></li><li><a href="#4">PVS (Prototype Verification System)</a></li></ul></div><h2>Matlab/Simulink<a name="1"></a></h2><div><ul><li>Tested with Matlab Simulink 2011a, 2010a, 2009b</li></ul></div><h2>Table Checking<a name="2"></a></h2><div><ul><li>The tool supports checking of table completness and disjointness  through the support of external tools</li><li>This tool will work with either or both of the tools installed.</li><li>It is recommened that both tools be installed, as they are built on different technologies, and have different strengths and weaknesses.</li></ul></div><h2>CVC3<a name="3"></a></h2><div><ul><li>CVC3 is supported for checking for completness and disjointness of tables</li><li>CVC3 can be downloaded from <a href="http://cs.nyu.edu/acsys/cvc3/">http://cs.nyu.edu/acsys/cvc3/</a></li><li>Ensure that cvc3 is executable on the shell path.</li><li>CVC3 is available for Linux/OS X and Windows.</li></ul></div><h2>PVS (Prototype Verification System)<a name="4"></a></h2><div><ul><li>PVS is supported for checking for completness and disjointness of tables.</li><li>PVS is downloadable from <a href="http://pvs.csl.sri.com/">http://pvs.csl.sri.com/</a></li><li>System has been tested on PVS versions 4.2 and 4.1</li><li>Ensure that pvs executable is on shell path</li><li><b>Note:</b> PVS is a Linux and MacOS X application and will not run natively on Windows.</li></ul></div><p class="footer"><br>
+  </style></head><body><div class="content"><h1>System Requirements</h1><!--introduction--><!--/introduction--><h2>Contents</h2><div><ul><li><a href="#1">Matlab/Simulink</a></li><li><a href="#2">Table Checking</a></li><li><a href="#3">CVC3</a></li><li><a href="#4">PVS (Prototype Verification System)</a></li></ul></div><h2>Matlab/Simulink<a name="1"></a></h2><div><ul><li>Tested with Matlab Simulink 2011a, 2010a, 2009b</li></ul></div><h2>Table Checking<a name="2"></a></h2><div><ul><li>The tool supports checking of table completness and disjointness  through the support of external tools</li><li>This tool will work with either or both of the tools installed.</li><li>It is recommened that both tools be installed, as they are built on different technologies, and have different strengths and weaknesses.</li></ul></div><h2>CVC3<a name="3"></a></h2><div><ul><li>CVC3 is supported for checking for completness and disjointness of tables</li><li>CVC3 can be downloaded from <a href="http://cs.nyu.edu/acsys/cvc3/">http://cs.nyu.edu/acsys/cvc3/</a></li><li>Ensure that cvc3 is executable on the shell path.</li><li>CVC3 is available for Linux/OS X and Windows.</li></ul></div><h2>PVS (Prototype Verification System)<a name="4"></a></h2><div><ul><li>PVS is supported for checking for completness and disjointness of tables.</li><li>PVS is downloadable from <a href="http://pvs.csl.sri.com/">http://pvs.csl.sri.com/</a></li><li>System has been tested on PVS versions 5.0, 4.2 and 4.1</li><li>Ensure that pvs executable is on shell path</li><li><b>Note:</b> PVS is a Linux and MacOS X application and will not run natively on Windows.</li></ul></div><p class="footer"><br>
      Published with MATLAB&reg; 7.12<br></p></div><!--
 ##### SOURCE BEGIN #####
 %% System Requirements
@@ -89,7 +89,7 @@ p.footer {
 % * PVS is supported for checking for completness and
 % disjointness of tables.
 % * PVS is downloadable from http://pvs.csl.sri.com/
-% * System has been tested on PVS versions 4.2 and 4.1
+% * System has been tested on PVS versions 5.0, 4.2 and 4.1
 % * Ensure that pvs executable is on shell path
 % * *Note:* PVS is a Linux and MacOS X application and will not run natively
 % on Windows.