Commit 2af6ba9c authored by Mark Lawford's avatar Mark Lawford
Browse files

Updating README and version number to 0.6. 

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

@GUI/GUI.m

+1 −1
Original line number Diff line number Diff line
@@ -64,7 +64,7 @@ classdef GUI < handle 
        multi_opt_out = [];

        prover_opt_pvs = [];

        prover_opt_cvc = [];

        version = '0.5';

        version = '0.6';

        undo_man = [];

        undo_opt = [];

        redo_opt = [];

README.txt

+17 −5
Original line number Diff line number Diff line 
Table Toolbox

Tabular Expression Toolbox Version 0.6



Installation

Unzip contents and add to folder on matlab path.

============



See included help files for detailed documentation.

Unzip contents and add the folder on your matlab path via menu options:



All code (c) Colin Eles, McMaster Center for Software Certification, 2011.

File -> Set Path.



Contact elesc (at) mcmaster.ca
 
 No newline at end of file
 
See included help files for detailed documentation or go to



http://www.cas.mcmaster.ca/~lawford/TET



All code copyright: 

Colin Eles, McMaster Centre for Software Certification, 2011.

Matthew Dawson, McMaster Centre for Software Certification, 2012.



For more information about the Tabular Expression Toolbox contact: 

Professor Mark Lawford

Associate Director

McMaster Centre for Software Certification

lawford (at) mcmaster.ca