Commit 403e48fb authored by Matthew Dawson's avatar Matthew Dawson
Browse files

Merge branch 'master' into TableTool_javization 

Conflicts:
	@GUI/GUI.m
parents cce27ad9 e3a02fac

@GUI/GUI.m

+1 −1
Original line number Diff line number Diff line
@@ -65,7 +65,7 @@ classdef GUI < handle 
        prover_opt_pvs = [];

        prover_opt_cvc = [];

        prover_opt_smtlib = [];

        version = '0.7';

        version = '0.7.1';

        undo_man = [];

        undo_opt = [];

        redo_opt = [];

README.txt

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

Tabular Expression Toolbox Version 0.7.1



Installation

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