Commit f6231d24 authored by Colin Eles's avatar Colin Eles
Browse files

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
parent baee61e4

@CVC_checker/generate_cvc_grid.m

+2 −2
Original line number Diff line number Diff line
@@ -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)

@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.3';

        version = '0.3.1';

        undo_man = [];

        undo_opt = [];

        redo_opt = [];

@GUI/about_call.m

+1 −1
Original line number Diff line number Diff line
@@ -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

README.txt

+1 −1
Original line number Diff line number Diff line
@@ -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