From f6231d24051d1d83419702756aa3401ec7865953 Mon Sep 17 00:00:00 2001
From: Colin Eles <elesc@mcmaster.ca>
Date: Wed, 5 Jan 2011 19:02:25 +0000
Subject: [PATCH] tagged new version, for reference of what is on FE

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/tags/TableTool/v0.3.1@6717 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
---
 @CVC_checker/generate_cvc_grid.m | 4 ++--
 @GUI/GUI.m                       | 2 +-
 @GUI/about_call.m                | 2 +-
 README.txt                       | 2 +-
 4 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/@CVC_checker/generate_cvc_grid.m b/@CVC_checker/generate_cvc_grid.m
index b44d879..530a349 100644
--- a/@CVC_checker/generate_cvc_grid.m
+++ b/@CVC_checker/generate_cvc_grid.m
@@ -21,8 +21,8 @@ if isempty(parents);
     disjoint = 'QUERY (';
     complete = 'QUERY (';
 else
-    disjoint = ['QUERY ' parents ' => ('];
-    complete = ['QUERY ' parents ' => ('];
+    disjoint = ['QUERY ' CVC_checker.matlab_to_cvc_syntax_translation(parents) ' => ('];
+    complete = ['QUERY ' CVC_checker.matlab_to_cvc_syntax_translation(parents) ' => ('];
 end
 
 for i=1:size(grid.cells,2)
diff --git a/@GUI/GUI.m b/@GUI/GUI.m
index 7b2e129..784d11d 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.3';
+        version = '0.3.1';
         undo_man = [];
         undo_opt = [];
         redo_opt = [];
diff --git a/@GUI/about_call.m b/@GUI/about_call.m
index 91e4ed0..ef95093 100644
--- a/@GUI/about_call.m
+++ b/@GUI/about_call.m
@@ -7,5 +7,5 @@
 % Author: Colin Eles elesc@mcmaster.ca
 % Organization: McMaster Centre for Software Certification
 function [] = about_call(object,src,event)
-    msgbox(sprintf('Table Toolbox v%s\nCopyright 2010\nColin Eles\nMcMaster Center for Software Certification',object.version),'About Table Tool','modal');
+    msgbox(sprintf('Table Toolbox v%s\nCopyright 2011\nColin Eles\nMcMaster Center for Software Certification',object.version),'About Table Tool','modal');
 end
\ No newline at end of file
diff --git a/README.txt b/README.txt
index 2a44822..a2e3f60 100644
--- a/README.txt
+++ b/README.txt
@@ -5,6 +5,6 @@ Unzip contents and add to folder on matlab path.
 
 See included help files for detailed documentation.
 
-All code (c) Colin Eles, McMaster Center for Software Certification, 2010.
+All code (c) Colin Eles, McMaster Center for Software Certification, 2011.
 
 Contact elesc (at) mcmaster.ca
\ No newline at end of file
-- 
GitLab