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.7.3'; version = '0.7.4'; undo_man = []; undo_opt = []; redo_opt = []; Loading README.txt +1 −1 Original line number Diff line number Diff line Tabular Expression Toolbox Version 0.7.3 Tabular Expression Toolbox Version 0.7.4 Installation ============ 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.7.3'; version = '0.7.4'; undo_man = []; undo_opt = []; redo_opt = []; Loading
README.txt +1 −1 Original line number Diff line number Diff line Tabular Expression Toolbox Version 0.7.3 Tabular Expression Toolbox Version 0.7.4 Installation ============ Loading