~tapaal-developers/tapaal/trunk

Changed tooltip for 'Merge Composed Net'

added added

removed removed

314

private final static String TOOL_TIP_SAVE_AND_VERIFY_BUTTON = "Save and verify the query.";

315

private final static String TOOL_TIP_CANCEL_BUTTON = "Cancel the changes made in this dialog.";

316

private final static String TOOL_TIP_SAVE_UPPAAL_BUTTON = "Export an xml file that can be opened in UPPAAL GUI.";

317

private final static String TOOL_TIP_SAVE_COMPOSED_BUTTON = "Export an xml file of composed net and approximated net if enabled";

317

private final static String TOOL_TIP_SAVE_COMPOSED_BUTTON = "Open a composed net in a new tab and approximated net if enabled";

318

private final static String TOOL_TIP_OPEN_REDUCED_BUTTON = "Open the net produced after applying structural reduction rules";

319

private final static String TOOL_TIP_SAVE_TAPAAL_BUTTON = "Export an xml file that can be used as input for the TAPAAL engine.";

320

private final static String TOOL_TIP_SAVE_PN_BUTTON = "Export an xml file that can be used as input for the untimed Petri net engine.";