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

updated version no 

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@7207 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
parent d1413759

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

        version = '0.4';

        undo_man = [];

        undo_opt = [];

        redo_opt = [];