Commit 543c6389 authored by Matthew Dawson's avatar Matthew Dawson
Browse files

Update version numbers for release. 

Update all version numbers to 0.7.2 for release.  Also update my copyright
to the current year.
parent 866f5873

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

        version = '0.7.2';

        undo_man = [];

        undo_opt = [];

        redo_opt = [];

README.txt

+2 −2
Original line number Diff line number Diff line 
Tabular Expression Toolbox Version 0.7.1

Tabular Expression Toolbox Version 0.7.2



Installation

============
@@ -13,7 +13,7 @@ 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.

Matthew Dawson, McMaster Centre for Software Certification, 2012-2014.



For more information about the Tabular Expression Toolbox contact: 

Professor Mark Lawford