module GUI.Glade.ProverGUI (get)
where
get :: (String, String)
get :: (String, String)
get = ("ProverGUI", String
xmlString)
xmlString :: String
xmlString :: String
xmlString =
"<?xml version=\"1.0\"?>\n<interface>\n <!-- interface-requires gtk+ 2.8 -->\n <!-- interface-naming-policy project-wide -->\n <object class=\"GtkWindow\" id=\"ProverGUI\">\n <child>\n <object class=\"GtkVBox\" id=\"vbox1\">\n <property name=\"visible\">True</property>\n <child>\n <object class=\"GtkHBox\" id=\"hbox2\">\n <property name=\"visible\">True</property>\n <child>\n <object class=\"GtkVBox\" id=\"vbox3\">\n <property name=\"visible\">True</property>\n <child>\n <object class=\"GtkFrame\" id=\"frame3\">\n <property name=\"visible\">True</property>\n <property name=\"label_xalign\">0</property>\n <property name=\"shadow_type\">none</property>\n <child>\n <object class=\"GtkAlignment\" id=\"alignment1\">\n <property name=\"visible\">True</property>\n <property name=\"top_padding\">6</property>\n <property name=\"bottom_padding\">6</property>\n <property name=\"left_padding\">6</property>\n <property name=\"right_padding\">6</property>\n <child>\n <object class=\"GtkScrolledWindow\" id=\"scrolledwindow1\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"hscrollbar_policy\">automatic</property>\n <property name=\"vscrollbar_policy\">automatic</property>\n <child>\n <object class=\"GtkTreeView\" id=\"trvGoals\">\n <property name=\"height_request\">100</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n </object>\n </child>\n </object>\n </child>\n </object>\n </child>\n <child type=\"label\">\n <object class=\"GtkLabel\" id=\"lblGoals\">\n <property name=\"visible\">True</property>\n <property name=\"label\" translatable=\"yes\">Goals:</property>\n <property name=\"use_markup\">True</property>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkVBox\" id=\"vbox8\">\n <property name=\"visible\">True</property>\n <child>\n <object class=\"GtkHButtonBox\" id=\"hbuttonbox6\">\n <property name=\"visible\">True</property>\n <property name=\"layout_style\">start</property>\n <child>\n <object class=\"GtkButton\" id=\"btnGoalsAll\">\n <property name=\"label\" translatable=\"yes\">All</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"btnGoalsNone\">\n <property name=\"label\" translatable=\"yes\">None</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"btnGoalsInvert\">\n <property name=\"label\" translatable=\"yes\">Invert</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">2</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkHButtonBox\" id=\"hbuttonbox7\">\n <property name=\"visible\">True</property>\n <property name=\"layout_style\">start</property>\n <child>\n <object class=\"GtkButton\" id=\"btnGoalsSelectOpen\">\n <property name=\"label\" translatable=\"yes\">Select open goals</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkVBox\" id=\"vbox4\">\n <property name=\"visible\">True</property>\n <child>\n <object class=\"GtkFrame\" id=\"frame2\">\n <property name=\"visible\">True</property>\n <property name=\"label_xalign\">0</property>\n <property name=\"shadow_type\">none</property>\n <child>\n <object class=\"GtkAlignment\" id=\"alignment2\">\n <property name=\"visible\">True</property>\n <property name=\"top_padding\">3</property>\n <property name=\"bottom_padding\">6</property>\n <property name=\"left_padding\">6</property>\n <child>\n <object class=\"GtkHBox\" id=\"hbox1\">\n <property name=\"visible\">True</property>\n <child>\n <object class=\"GtkButton\" id=\"btnDisplay\">\n <property name=\"label\" translatable=\"yes\">Display</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"pack_type\">end</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"btnProofDetails\">\n <property name=\"label\" translatable=\"yes\">Proof details</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"pack_type\">end</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"btnProve\">\n <property name=\"label\" translatable=\"yes\">Prove</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"pack_type\">end</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n </object>\n </child>\n </object>\n </child>\n <child type=\"label\">\n <object class=\"GtkLabel\" id=\"label3\">\n <property name=\"visible\">True</property>\n <property name=\"label\" translatable=\"yes\">Selected goal(s):</property>\n <property name=\"use_markup\">True</property>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkFrame\" id=\"frame1\">\n <property name=\"visible\">True</property>\n <property name=\"label_xalign\">0</property>\n <property name=\"shadow_type\">none</property>\n <child>\n <object class=\"GtkAlignment\" id=\"alignment4\">\n <property name=\"visible\">True</property>\n <property name=\"top_padding\">3</property>\n <property name=\"bottom_padding\">6</property>\n <property name=\"left_padding\">12</property>\n <child>\n <object class=\"GtkLabel\" id=\"lblSublogic\">\n <property name=\"visible\">True</property>\n <property name=\"xalign\">0</property>\n <property name=\"yalign\">0</property>\n <property name=\"label\" translatable=\"yes\">No sublogic given</property>\n <property name=\"use_markup\">True</property>\n <property name=\"selectable\">True</property>\n </object>\n </child>\n </object>\n </child>\n <child type=\"label\">\n <object class=\"GtkLabel\" id=\"label5\">\n <property name=\"visible\">True</property>\n <property name=\"label\" translatable=\"yes\">Sublogic of currently selected theory:</property>\n <property name=\"use_markup\">True</property>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkFrame\" id=\"frame4\">\n <property name=\"visible\">True</property>\n <property name=\"label_xalign\">0</property>\n <property name=\"shadow_type\">none</property>\n <child>\n <object class=\"GtkAlignment\" id=\"alignment5\">\n <property name=\"visible\">True</property>\n <property name=\"top_padding\">3</property>\n <property name=\"bottom_padding\">6</property>\n <property name=\"left_padding\">6</property>\n <child>\n <object class=\"GtkScrolledWindow\" id=\"scrolledwindow2\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"hscrollbar_policy\">automatic</property>\n <property name=\"vscrollbar_policy\">automatic</property>\n <child>\n <object class=\"GtkTreeView\" id=\"trvProvers\">\n <property name=\"height_request\">100</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n </object>\n </child>\n </object>\n </child>\n </object>\n </child>\n <child type=\"label\">\n <object class=\"GtkLabel\" id=\"label2\">\n <property name=\"visible\">True</property>\n <property name=\"label\" translatable=\"yes\">Pick theorem prover:</property>\n <property name=\"use_markup\">True</property>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"position\">2</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkFrame\" id=\"frame5\">\n <property name=\"visible\">True</property>\n <property name=\"label_xalign\">0</property>\n <property name=\"shadow_type\">none</property>\n <child>\n <object class=\"GtkAlignment\" id=\"alignment3\">\n <property name=\"visible\">True</property>\n <property name=\"bottom_padding\">6</property>\n <property name=\"left_padding\">6</property>\n <child>\n <object class=\"GtkComboBox\" id=\"cbComorphism\">\n <property name=\"width_request\">220</property>\n <property name=\"visible\">True</property>\n </object>\n </child>\n </object>\n </child>\n <child type=\"label\">\n <object class=\"GtkLabel\" id=\"label1\">\n <property name=\"visible\">True</property>\n <property name=\"label\" translatable=\"yes\">Selected comorphism path:</property>\n <property name=\"use_markup\">True</property>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">3</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkHSeparator\" id=\"hseparator1\">\n <property name=\"visible\">True</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"padding\">3</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkVBox\" id=\"vbox5\">\n <property name=\"visible\">True</property>\n <child>\n <object class=\"GtkLabel\" id=\"label4\">\n <property name=\"visible\">True</property>\n <property name=\"label\" translatable=\"yes\">Fine grained composition of theory</property>\n <property name=\"use_markup\">True</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkHBox\" id=\"hbox3\">\n <property name=\"visible\">True</property>\n <child>\n <object class=\"GtkVBox\" id=\"vbox2\">\n <property name=\"visible\">True</property>\n <child>\n <object class=\"GtkFrame\" id=\"frame6\">\n <property name=\"visible\">True</property>\n <property name=\"label_xalign\">0</property>\n <property name=\"shadow_type\">none</property>\n <child>\n <object class=\"GtkAlignment\" id=\"alignment7\">\n <property name=\"visible\">True</property>\n <property name=\"top_padding\">3</property>\n <property name=\"bottom_padding\">6</property>\n <property name=\"left_padding\">6</property>\n <child>\n <object class=\"GtkScrolledWindow\" id=\"scrolledwindow3\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"hscrollbar_policy\">automatic</property>\n <property name=\"vscrollbar_policy\">automatic</property>\n <child>\n <object class=\"GtkTreeView\" id=\"trvAxioms\">\n <property name=\"height_request\">100</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n </object>\n </child>\n </object>\n </child>\n </object>\n </child>\n <child type=\"label\">\n <object class=\"GtkLabel\" id=\"lblGoals2\">\n <property name=\"visible\">True</property>\n <property name=\"label\" translatable=\"yes\">Axioms to include:</property>\n <property name=\"use_markup\">True</property>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkVBox\" id=\"vbox7\">\n <property name=\"visible\">True</property>\n <child>\n <object class=\"GtkHButtonBox\" id=\"hbuttonbox4\">\n <property name=\"visible\">True</property>\n <property name=\"layout_style\">start</property>\n <child>\n <object class=\"GtkButton\" id=\"btnAxiomsAll\">\n <property name=\"label\" translatable=\"yes\">All</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"btnAxiomsNone\">\n <property name=\"label\" translatable=\"yes\">None</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"btnAxiomsInvert\">\n <property name=\"label\" translatable=\"yes\">Invert</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">2</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkHButtonBox\" id=\"hbuttonbox5\">\n <property name=\"visible\">True</property>\n <property name=\"layout_style\">start</property>\n <child>\n <object class=\"GtkButton\" id=\"btnAxiomsFormer\">\n <property name=\"label\" translatable=\"yes\">Deselect former theorems</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkVBox\" id=\"vbox6\">\n <property name=\"visible\">True</property>\n <child>\n <object class=\"GtkFrame\" id=\"frame7\">\n <property name=\"visible\">True</property>\n <property name=\"label_xalign\">0</property>\n <property name=\"shadow_type\">none</property>\n <child>\n <object class=\"GtkAlignment\" id=\"alignment8\">\n <property name=\"visible\">True</property>\n <property name=\"top_padding\">3</property>\n <property name=\"bottom_padding\">6</property>\n <property name=\"left_padding\">6</property>\n <child>\n <object class=\"GtkScrolledWindow\" id=\"scrolledwindow4\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"hscrollbar_policy\">automatic</property>\n <property name=\"vscrollbar_policy\">automatic</property>\n <child>\n <object class=\"GtkTreeView\" id=\"trvTheorems\">\n <property name=\"height_request\">100</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n </object>\n </child>\n </object>\n </child>\n </object>\n </child>\n <child type=\"label\">\n <object class=\"GtkLabel\" id=\"lblGoals1\">\n <property name=\"visible\">True</property>\n <property name=\"label\" translatable=\"yes\">Theorems to include if proven:</property>\n <property name=\"use_markup\">True</property>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkHButtonBox\" id=\"hbuttonbox8\">\n <property name=\"visible\">True</property>\n <property name=\"layout_style\">start</property>\n <child>\n <object class=\"GtkButton\" id=\"btnTheoremsAll\">\n <property name=\"label\" translatable=\"yes\">All</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"btnTheoremsNone\">\n <property name=\"label\" translatable=\"yes\">None</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"btnTheoremsInvert\">\n <property name=\"label\" translatable=\"yes\">Invert</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">2</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"position\">1</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"position\">1</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"position\">2</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkHSeparator\" id=\"hseparator2\">\n <property name=\"visible\">True</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"padding\">3</property>\n <property name=\"position\">3</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkHBox\" id=\"hbox4\">\n <property name=\"visible\">True</property>\n <child>\n <object class=\"GtkHButtonBox\" id=\"hbuttonbox2\">\n <property name=\"visible\">True</property>\n <property name=\"spacing\">5</property>\n <property name=\"layout_style\">start</property>\n <child>\n <object class=\"GtkButton\" id=\"btnShowTheory\">\n <property name=\"label\" translatable=\"yes\">Show theory</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"btnShowSelected\">\n <property name=\"label\" translatable=\"yes\">Show selected theory</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkHButtonBox\" id=\"hbuttonbox1\">\n <property name=\"visible\">True</property>\n <property name=\"spacing\">5</property>\n <property name=\"layout_style\">end</property>\n <child>\n <object class=\"GtkButton\" id=\"btnClose\">\n <property name=\"label\" translatable=\"yes\">Close</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"pack_type\">end</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"position\">4</property>\n </packing>\n </child>\n </object>\n </child>\n </object>\n</interface>\n"