From 922c298744079435defe1c10091528742d4836f2 Mon Sep 17 00:00:00 2001
From: Colin Eles <elesc@mcmaster.ca>
Date: Mon, 30 Aug 2010 17:56:15 +0000
Subject: [PATCH] added help files and generated html files

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6155 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
---
 html/TT_gs_over.m           |  6 +++
 html/TT_gs_req.m            | 13 ++++++
 html/TT_gs_top.m            |  6 +++
 html/TT_help.m              | 11 +++++
 html/TTtbx_gs_top.html      |  1 +
 html/helptoc.xml            | 11 +++--
 html/html/TT_gs_over.html   | 75 +++++++++++++++++++++++++++++++++
 html/html/TT_gs_req.html    | 82 +++++++++++++++++++++++++++++++++++++
 html/html/TT_gs_top.html    | 76 ++++++++++++++++++++++++++++++++++
 html/html/TT_help.html      | 81 ++++++++++++++++++++++++++++++++++++
 html/html/TTtbx_gs_top.html | 82 +++++++++++++++++++++++++++++++++++++
 11 files changed, 440 insertions(+), 4 deletions(-)
 create mode 100644 html/TT_gs_over.m
 create mode 100644 html/TT_gs_req.m
 create mode 100644 html/TT_gs_top.m
 create mode 100644 html/TT_help.m
 create mode 100644 html/html/TT_gs_over.html
 create mode 100644 html/html/TT_gs_req.html
 create mode 100644 html/html/TT_gs_top.html
 create mode 100644 html/html/TT_help.html
 create mode 100644 html/html/TTtbx_gs_top.html

diff --git a/html/TT_gs_over.m b/html/TT_gs_over.m
new file mode 100644
index 0000000..4b9319c
--- /dev/null
+++ b/html/TT_gs_over.m
@@ -0,0 +1,6 @@
+%% Product Overview
+% This product allows users to interactively design a tabular expression.
+% The resusulting function can be saved as a Simulink block or to a Matlab
+% m-file. Tabular Expressions can be proved to be disjoint and complete
+% using the PVS theorem prover. This allows users to ensure that the table
+% they are designing has covered all possible inputs and is deterministic.
\ No newline at end of file
diff --git a/html/TT_gs_req.m b/html/TT_gs_req.m
new file mode 100644
index 0000000..4738992
--- /dev/null
+++ b/html/TT_gs_req.m
@@ -0,0 +1,13 @@
+%% System Requirements
+%
+%% Matlab/Simulink
+%
+% * Tested with Matlab Simulink 2009b and 2010a
+%% PVS (Prototype Verification System)
+% * PVS is required to be installed in order to check 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
+% * Ensure that pvs executable is on shell path
+% * *Note:* PVS is a linux and OS X application and will not run natively
+% on Windows.
\ No newline at end of file
diff --git a/html/TT_gs_top.m b/html/TT_gs_top.m
new file mode 100644
index 0000000..4c021de
--- /dev/null
+++ b/html/TT_gs_top.m
@@ -0,0 +1,6 @@
+%% Getting Started
+%
+% * <TT_gs_req.html Requirements>
+% * <TT_gs_over.html Product Overview>
+% * <TT_gs_ref.html Tabular Expresssion References>
+%
diff --git a/html/TT_help.m b/html/TT_help.m
new file mode 100644
index 0000000..9670b6a
--- /dev/null
+++ b/html/TT_help.m
@@ -0,0 +1,11 @@
+%% Table Toolbox
+%
+% *Available Documentation*
+%
+% * <jfskld.html Release Notes>
+% * <upslope_features.html Features>
+% * <TT_gs_top.html Getting Started>
+% * <upslope_user_guide.html User Guide>
+%
+%
+% Copyright 2010 Colin Eles
diff --git a/html/TTtbx_gs_top.html b/html/TTtbx_gs_top.html
index cb17392..9337b9a 100644
--- a/html/TTtbx_gs_top.html
+++ b/html/TTtbx_gs_top.html
@@ -2,3 +2,4 @@ Table Toolbox
 
 Product Overview
 Requirements
+Tabular Expression References
diff --git a/html/helptoc.xml b/html/helptoc.xml
index d06b7fd..d5c84d3 100644
--- a/html/helptoc.xml
+++ b/html/helptoc.xml
@@ -3,7 +3,7 @@
 <toc version="2.0">
 <!-- First tocitem specifies top level in Help browser Contents pane -->
 <!-- This can be a roadmap page, as shown below, or a content page -->
-    <tocitem target="mytoolbox_product_page.html">MyToolbox Toolbox
+    <tocitem target="html/TT_help.html">MyToolbox Toolbox
         <!-- Nest tocitems to create hierarchical entries in  Contents-->
         <!-- To include icons, use the following syntax for tocitems: -->
         <!-- <tocitem target="foo.html" image="HelpIcon.NAME"> -->
@@ -14,11 +14,14 @@
         <!-- Icon images used for these entries are also stored in -->
         <!-- matlabroot/toolbox/matlab/icons -->
         <!-- A Getting Started Guide usually comes first -->
-        <tocitem target="TTtbx_gs_top.html" image="HelpIcon.GETTING_STARTED">
+        <tocitem target="html/TT_gs_top.html" image="HelpIcon.GETTING_STARTED">
             Getting Started with the MyToolbox Toolbox
-            <tocitem target="mytbx_reqts_example.html">System Requirements
+            <tocitem target="html/TT_gs_req.html">System Requirements
+            </tocitem>
+            <tocitem target="html/TT_gs_over.html">Product Overview
+            </tocitem>
+            <tocitem target="html/TT_gs_ref.html">References
             </tocitem>
-            
         </tocitem>
         <!-- User Guide comes next -->
         <!-- <tocitem target="TTtbx_ug_intro.html" 
diff --git a/html/html/TT_gs_over.html b/html/html/TT_gs_over.html
new file mode 100644
index 0000000..787f9c6
--- /dev/null
+++ b/html/html/TT_gs_over.html
@@ -0,0 +1,75 @@
+
+<!DOCTYPE html
+  PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+<html><head>
+      <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
+   <!--
+This HTML is auto-generated from an M-file.
+To make changes, update the M-file and republish this document.
+      --><title>Product Overview</title><meta name="generator" content="MATLAB 7.10"><meta name="date" content="2010-08-30"><meta name="m-file" content="TT_gs_over"><style type="text/css">
+
+body {
+  background-color: white;
+  margin:10px;
+}
+
+h1 {
+  color: #990000; 
+  font-size: x-large;
+}
+
+h2 {
+  color: #990000;
+  font-size: medium;
+}
+
+/* Make the text shrink to fit narrow windows, but not stretch too far in 
+wide windows. */ 
+p,h1,h2,div.content div {
+  max-width: 600px;
+  /* Hack for IE6 */
+  width: auto !important; width: 600px;
+}
+
+pre.codeinput {
+  background: #EEEEEE;
+  padding: 10px;
+}
+@media print {
+  pre.codeinput {word-wrap:break-word; width:100%;}
+} 
+
+span.keyword {color: #0000FF}
+span.comment {color: #228B22}
+span.string {color: #A020F0}
+span.untermstring {color: #B20000}
+span.syscmd {color: #B28C00}
+
+pre.codeoutput {
+  color: #666666;
+  padding: 10px;
+}
+
+pre.error {
+  color: red;
+}
+
+p.footer {
+  text-align: right;
+  font-size: xx-small;
+  font-weight: lighter;
+  font-style: italic;
+  color: gray;
+}
+
+  </style></head><body><div class="content"><h1>Product Overview</h1><p>This product allows users to interactively design a tabular expression. The resusulting function can be saved as a Simulink block or to a Matlab m-file. Tabular Expressions can be proved to be disjoint and complete using the PVS theorem prover. This allows users to ensure that the table they are designing has covered all possible inputs and is deterministic.</p><p class="footer"><br>
+      Published with MATLAB&reg; 7.10<br></p></div><!--
+##### SOURCE BEGIN #####
+%% Product Overview
+% This product allows users to interactively design a tabular expression.
+% The resusulting function can be saved as a Simulink block or to a Matlab
+% m-file. Tabular Expressions can be proved to be disjoint and complete
+% using the PVS theorem prover. This allows users to ensure that the table
+% they are designing has covered all possible inputs and is deterministic.
+##### SOURCE END #####
+--></body></html>
\ No newline at end of file
diff --git a/html/html/TT_gs_req.html b/html/html/TT_gs_req.html
new file mode 100644
index 0000000..1f4e386
--- /dev/null
+++ b/html/html/TT_gs_req.html
@@ -0,0 +1,82 @@
+
+<!DOCTYPE html
+  PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+<html><head>
+      <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
+   <!--
+This HTML is auto-generated from an M-file.
+To make changes, update the M-file and republish this document.
+      --><title>System Requirements</title><meta name="generator" content="MATLAB 7.10"><meta name="date" content="2010-08-30"><meta name="m-file" content="TT_gs_req"><style type="text/css">
+
+body {
+  background-color: white;
+  margin:10px;
+}
+
+h1 {
+  color: #990000; 
+  font-size: x-large;
+}
+
+h2 {
+  color: #990000;
+  font-size: medium;
+}
+
+/* Make the text shrink to fit narrow windows, but not stretch too far in 
+wide windows. */ 
+p,h1,h2,div.content div {
+  max-width: 600px;
+  /* Hack for IE6 */
+  width: auto !important; width: 600px;
+}
+
+pre.codeinput {
+  background: #EEEEEE;
+  padding: 10px;
+}
+@media print {
+  pre.codeinput {word-wrap:break-word; width:100%;}
+} 
+
+span.keyword {color: #0000FF}
+span.comment {color: #228B22}
+span.string {color: #A020F0}
+span.untermstring {color: #B20000}
+span.syscmd {color: #B28C00}
+
+pre.codeoutput {
+  color: #666666;
+  padding: 10px;
+}
+
+pre.error {
+  color: red;
+}
+
+p.footer {
+  text-align: right;
+  font-size: xx-small;
+  font-weight: lighter;
+  font-style: italic;
+  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">PVS (Prototype Verification System)</a></li></ul></div><h2>Matlab/Simulink<a name="1"></a></h2><div><ul><li>Tested with Matlab Simulink 2009b and 2010a</li></ul></div><h2>PVS (Prototype Verification System)<a name="2"></a></h2><div><ul><li>PVS is required to be installed in order to check 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 OS X application and will not run natively on Windows.</li></ul></div><p class="footer"><br>
+      Published with MATLAB&reg; 7.10<br></p></div><!--
+##### SOURCE BEGIN #####
+%% System Requirements
+%
+%% Matlab/Simulink
+%
+% * Tested with Matlab Simulink 2009b and 2010a
+%% PVS (Prototype Verification System)
+% * PVS is required to be installed in order to check 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
+% * Ensure that pvs executable is on shell path
+% * *Note:* PVS is a linux and OS X application and will not run natively
+% on Windows.
+##### SOURCE END #####
+--></body></html>
\ No newline at end of file
diff --git a/html/html/TT_gs_top.html b/html/html/TT_gs_top.html
new file mode 100644
index 0000000..aef535e
--- /dev/null
+++ b/html/html/TT_gs_top.html
@@ -0,0 +1,76 @@
+
+<!DOCTYPE html
+  PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+<html><head>
+      <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
+   <!--
+This HTML is auto-generated from an M-file.
+To make changes, update the M-file and republish this document.
+      --><title>Getting Started</title><meta name="generator" content="MATLAB 7.10"><meta name="date" content="2010-08-30"><meta name="m-file" content="TT_gs_top"><style type="text/css">
+
+body {
+  background-color: white;
+  margin:10px;
+}
+
+h1 {
+  color: #990000; 
+  font-size: x-large;
+}
+
+h2 {
+  color: #990000;
+  font-size: medium;
+}
+
+/* Make the text shrink to fit narrow windows, but not stretch too far in 
+wide windows. */ 
+p,h1,h2,div.content div {
+  max-width: 600px;
+  /* Hack for IE6 */
+  width: auto !important; width: 600px;
+}
+
+pre.codeinput {
+  background: #EEEEEE;
+  padding: 10px;
+}
+@media print {
+  pre.codeinput {word-wrap:break-word; width:100%;}
+} 
+
+span.keyword {color: #0000FF}
+span.comment {color: #228B22}
+span.string {color: #A020F0}
+span.untermstring {color: #B20000}
+span.syscmd {color: #B28C00}
+
+pre.codeoutput {
+  color: #666666;
+  padding: 10px;
+}
+
+pre.error {
+  color: red;
+}
+
+p.footer {
+  text-align: right;
+  font-size: xx-small;
+  font-weight: lighter;
+  font-style: italic;
+  color: gray;
+}
+
+  </style></head><body><div class="content"><h1>Getting Started</h1><div><ul><li><a href="TT_gs_req.html">Requirements</a></li><li><a href="TT_gs_ref.html">Tabular Expresssion References</a></li><li><a href="TT_gs_over.html">Product Overview</a></li></ul></div><p class="footer"><br>
+      Published with MATLAB&reg; 7.10<br></p></div><!--
+##### SOURCE BEGIN #####
+%% Getting Started
+%
+% * <TT_gs_req.html Requirements>
+% * <TT_gs_ref.html Tabular Expresssion References>
+% * <TT_gs_over.html Product Overview>
+%
+
+##### SOURCE END #####
+--></body></html>
\ No newline at end of file
diff --git a/html/html/TT_help.html b/html/html/TT_help.html
new file mode 100644
index 0000000..13e5eb2
--- /dev/null
+++ b/html/html/TT_help.html
@@ -0,0 +1,81 @@
+
+<!DOCTYPE html
+  PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+<html><head>
+      <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
+   <!--
+This HTML is auto-generated from an M-file.
+To make changes, update the M-file and republish this document.
+      --><title>Table Toolbox</title><meta name="generator" content="MATLAB 7.10"><meta name="date" content="2010-08-30"><meta name="m-file" content="TT_help"><style type="text/css">
+
+body {
+  background-color: white;
+  margin:10px;
+}
+
+h1 {
+  color: #990000; 
+  font-size: x-large;
+}
+
+h2 {
+  color: #990000;
+  font-size: medium;
+}
+
+/* Make the text shrink to fit narrow windows, but not stretch too far in 
+wide windows. */ 
+p,h1,h2,div.content div {
+  max-width: 600px;
+  /* Hack for IE6 */
+  width: auto !important; width: 600px;
+}
+
+pre.codeinput {
+  background: #EEEEEE;
+  padding: 10px;
+}
+@media print {
+  pre.codeinput {word-wrap:break-word; width:100%;}
+} 
+
+span.keyword {color: #0000FF}
+span.comment {color: #228B22}
+span.string {color: #A020F0}
+span.untermstring {color: #B20000}
+span.syscmd {color: #B28C00}
+
+pre.codeoutput {
+  color: #666666;
+  padding: 10px;
+}
+
+pre.error {
+  color: red;
+}
+
+p.footer {
+  text-align: right;
+  font-size: xx-small;
+  font-weight: lighter;
+  font-style: italic;
+  color: gray;
+}
+
+  </style></head><body><div class="content"><h1>Table Toolbox</h1><p><b>Available Documentation</b></p><div><ul><li><a href="jfskld.html">Release Notes</a></li><li><a href="upslope_features.html">Features</a></li><li><a href="TT_gs_top.html">Getting Started</a></li><li><a href="upslope_user_guide.html">User Guide</a></li></ul></div><p>Copyright 2010 Colin Eles</p><p class="footer"><br>
+      Published with MATLAB&reg; 7.10<br></p></div><!--
+##### SOURCE BEGIN #####
+%% Table Toolbox
+%
+% *Available Documentation*
+%
+% * <jfskld.html Release Notes>
+% * <upslope_features.html Features>
+% * <TT_gs_top.html Getting Started>
+% * <upslope_user_guide.html User Guide>
+%
+%
+% Copyright 2010 Colin Eles
+
+##### SOURCE END #####
+--></body></html>
\ No newline at end of file
diff --git a/html/html/TTtbx_gs_top.html b/html/html/TTtbx_gs_top.html
new file mode 100644
index 0000000..71d8df6
--- /dev/null
+++ b/html/html/TTtbx_gs_top.html
@@ -0,0 +1,82 @@
+
+<!DOCTYPE html
+  PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
+<html><head>
+      <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
+   <!--
+This HTML is auto-generated from an M-file.
+To make changes, update the M-file and republish this document.
+      --><title>Table Toolbox</title><meta name="generator" content="MATLAB 7.10"><meta name="date" content="2010-08-30"><meta name="m-file" content="TTtbx_gs_top"><style type="text/css">
+
+body {
+  background-color: white;
+  margin:10px;
+}
+
+h1 {
+  color: #990000; 
+  font-size: x-large;
+}
+
+h2 {
+  color: #990000;
+  font-size: medium;
+}
+
+/* Make the text shrink to fit narrow windows, but not stretch too far in 
+wide windows. */ 
+p,h1,h2,div.content div {
+  max-width: 600px;
+  /* Hack for IE6 */
+  width: auto !important; width: 600px;
+}
+
+pre.codeinput {
+  background: #EEEEEE;
+  padding: 10px;
+}
+@media print {
+  pre.codeinput {word-wrap:break-word; width:100%;}
+} 
+
+span.keyword {color: #0000FF}
+span.comment {color: #228B22}
+span.string {color: #A020F0}
+span.untermstring {color: #B20000}
+span.syscmd {color: #B28C00}
+
+pre.codeoutput {
+  color: #666666;
+  padding: 10px;
+}
+
+pre.error {
+  color: red;
+}
+
+p.footer {
+  text-align: right;
+  font-size: xx-small;
+  font-weight: lighter;
+  font-style: italic;
+  color: gray;
+}
+
+  </style></head><body><div class="content"><h1>Table Toolbox</h1><p><b>Available Documentation</b></p><div><ul><li><a href="upslope_release_notes.html">Release Notes</a></li><li><a href="upslope_features.html">Features</a></li><li><a href="upslope_getting_started.html">Getting Started</a></li><li><a href="upslope_user_guide.html">User Guide</a></li><li><a href="upslope_functions_by_cat.html">Function Reference</a></li></ul></div><p>Copyright 2010 Colin Eles</p><p class="footer"><br>
+      Published with MATLAB&reg; 7.10<br></p></div><!--
+##### SOURCE BEGIN #####
+%% Table Toolbox
+%
+% *Available Documentation*
+%
+% * <upslope_release_notes.html Release Notes>
+% * <upslope_features.html Features>
+% * <upslope_getting_started.html Getting Started>
+% * <upslope_user_guide.html User Guide>
+% * <upslope_functions_by_cat.html Function Reference>
+%
+%
+% Copyright 2010 Colin Eles
+
+##### SOURCE END #####
+--></body></html>
\ No newline at end of file
-- 
GitLab