Commit 922c2987 authored Aug 30, 2010 by Colin Eles

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

parent 9d00ea6f

html/TT_gs_over.m

0 → 100644

+6 −0

Original line number	Diff line number	Diff line
		%% 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

html/TT_gs_req.m

0 → 100644

+13 −0

Original line number	Diff line number	Diff line
		%% 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

html/TT_gs_top.m

0 → 100644

+6 −0

Original line number	Diff line number	Diff line
		%% Getting Started
		%
		% * <TT_gs_req.html Requirements>
		% * <TT_gs_over.html Product Overview>
		% * <TT_gs_ref.html Tabular Expresssion References>
		%

html/TT_help.m

0 → 100644

+11 −0

Original line number	Diff line number	Diff line
		%% 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

html/TTtbx_gs_top.html

+1 −0

Original line number	Diff line number	Diff line
		@@ -2,3 +2,4 @@ Table Toolbox

		Product Overview
		Requirements
		Tabular Expression References