Commit 54559a39 authored by Michael Leuschel's avatar Michael Leuschel
Browse files

change text of export PO label

parent 91113f7c
......@@ -162,7 +162,7 @@ public class DisproverPreferences extends PreferencePage implements
checkDoubleEval.setSelection(prefNode.getBoolean("doubleeval", false));
new Label(pageComponent, SWT.NONE)
.setText("Export selected hypotheses to B text file (/tmp/ProB_Rodin_PO_SelectedHyps.mch):");
.setText("Export Goal and selected Hypotheses to B file (/tmp/ProB_Rodin_PO_SelectedHyps.mch):");
checkExportSelectedHyps = new Button(pageComponent, SWT.CHECK);
checkExportSelectedHyps.setSelection(prefNode.getBoolean("exportpo", false));
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment