Loading @GUI/GUI.m +1 −1 Original line number Diff line number Diff line Loading @@ -64,7 +64,7 @@ classdef GUI < handle multi_opt_out = []; prover_opt_pvs = []; prover_opt_cvc = []; version = '0.4'; version = '0.4.1'; undo_man = []; undo_opt = []; redo_opt = []; Loading info.xml +2 −2 Original line number Diff line number Diff line Loading @@ -4,7 +4,7 @@ <?xml-stylesheet type="text/xsl" href="http://www.mathworks.com/namespace/info/v1/info.xsl"?> <matlabrelease>2010a</matlabrelease> <matlabrelease>2011a</matlabrelease> <name>Table Toolbox</name> <type>Toolbox</type> <icon>$toolbox/matlab/icons/matlabicon.gif</icon> Loading Loading
@GUI/GUI.m +1 −1 Original line number Diff line number Diff line Loading @@ -64,7 +64,7 @@ classdef GUI < handle multi_opt_out = []; prover_opt_pvs = []; prover_opt_cvc = []; version = '0.4'; version = '0.4.1'; undo_man = []; undo_opt = []; redo_opt = []; Loading
info.xml +2 −2 Original line number Diff line number Diff line Loading @@ -4,7 +4,7 @@ <?xml-stylesheet type="text/xsl" href="http://www.mathworks.com/namespace/info/v1/info.xsl"?> <matlabrelease>2010a</matlabrelease> <matlabrelease>2011a</matlabrelease> <name>Table Toolbox</name> <type>Toolbox</type> <icon>$toolbox/matlab/icons/matlabicon.gif</icon> Loading