Merge branch 'master' into jtet_int

+TableBlock/set_code.m

@Cell/purge.m

@Cell/upgrade.m

@Data/purge.m

@Data/upgrade.m

@GUI/GUI.m

@GUI/close_fig.m

@Grid/purge.m

@Grid/upgrade.m

@RCell/purge.m

@RCell/upgrade.m

@RGrid/purge.m

@RGrid/upgrade.m

Examples/Jin_Parnas_Example.mdl

Examples/PowerCond.mdl

Examples/ReadabilityExample.mdl

Examples/Simulink_type_example.mdl

Examples/quadratic_roots.mdl

Examples/unprovable.mdl

README.txt