Commit e16aee40 authored by Matthew Dawson's avatar Matthew Dawson
Browse files

Update version to 0.7.3 

Update version numbers for critical update to 0.7.3.
parent e8118f0f

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

        version = '0.7.3';

        undo_man = [];

        undo_opt = [];

        redo_opt = [];

README.txt

+1 −1
Original line number Diff line number Diff line 
Tabular Expression Toolbox Version 0.7.2

Tabular Expression Toolbox Version 0.7.3



Installation

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