From 2af6ba9c699a92ca60b16bfbf41374a5b4d9b809 Mon Sep 17 00:00:00 2001
From: Mark Lawford <lawford@mcmaster.ca>
Date: Tue, 17 Jul 2012 13:01:53 +0000
Subject: [PATCH] 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
---
 @GUI/GUI.m |  2 +-
 README.txt | 22 +++++++++++++++++-----
 2 files changed, 18 insertions(+), 6 deletions(-)

diff --git a/@GUI/GUI.m b/@GUI/GUI.m
index 5e367d8..be6d4a1 100644
--- a/@GUI/GUI.m
+++ b/@GUI/GUI.m
@@ -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 = [];
diff --git a/README.txt b/README.txt
index a2e3f60..6f491bb 100644
--- a/README.txt
+++ b/README.txt
@@ -1,10 +1,22 @@
-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
-- 
GitLab