Changeset 12754
- Timestamp:
- 29.10.2009 18:46:01 (3 weeks ago)
- Location:
- trunk/GUI
- Files:
-
- 3 added
- 5 modified
- 1 copied
-
GenericATP.hs (added)
-
Glade/ConsistencyChecker.glade (modified) (1 diff)
-
Glade/GenericATP.glade (added)
-
Glade/ProverGUI.glade (modified) (18 diffs)
-
GtkConsistencyChecker.hs (modified) (10 diffs)
-
GtkGenericATP.hs (added)
-
GtkProverGUI.hs (modified) (6 diffs)
-
GtkUtils.hs (modified) (2 diffs)
-
HTkGenericATP.hs (copied) (copied from trunk/GUI/GenericATP.hs) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/GUI/Glade/ConsistencyChecker.glade
r12743 r12754 343 343 <property name="bottom_padding">6</property> 344 344 <property name="left_padding">6</property> 345 <property name="right_padding">6</property>346 345 <child> 347 346 <widget class="GtkScrolledWindow" id="scrolledwindow1"> -
trunk/GUI/Glade/ProverGUI.glade
r12156 r12754 1 1 <?xml version="1.0"?> 2 2 <glade-interface> 3 <!-- interface-requires gtk+ 2.1 6-->4 <!-- interface-naming-policy toplevel-contextual-->3 <!-- interface-requires gtk+ 2.12 --> 4 <!-- interface-naming-policy project-wide --> 5 5 <widget class="GtkWindow" id="ProverGUI"> 6 6 <child> … … 8 8 <property name="visible">True</property> 9 9 <child> 10 <widget class="GtkHBox" id="hbox 1">10 <widget class="GtkHBox" id="hbox2"> 11 11 <property name="visible">True</property> 12 12 <child> 13 13 <widget class="GtkVBox" id="vbox3"> 14 14 <property name="visible">True</property> 15 <property name="orientation">vertical</property> 16 <child> 17 <widget class="GtkFrame" id="frame1"> 15 <child> 16 <widget class="GtkFrame" id="frame3"> 18 17 <property name="visible">True</property> 19 18 <property name="label_xalign">0</property> … … 61 60 <widget class="GtkVBox" id="vbox8"> 62 61 <property name="visible">True</property> 63 <property name="orientation">vertical</property>64 62 <child> 65 63 <widget class="GtkHButtonBox" id="hbuttonbox6"> … … 148 146 <widget class="GtkVBox" id="vbox4"> 149 147 <property name="visible">True</property> 150 <property name="orientation">vertical</property> 151 <child> 152 <widget class="GtkAlignment" id="alignment9"> 153 <property name="visible">True</property> 154 <property name="top_padding">5</property> 155 <property name="left_padding">5</property> 156 <child> 157 <widget class="GtkLabel" id="label4"> 158 <property name="visible">True</property> 159 <property name="xalign">0</property> 160 <property name="yalign">0</property> 148 <child> 149 <widget class="GtkFrame" id="frame2"> 150 <property name="visible">True</property> 151 <property name="label_xalign">0</property> 152 <property name="shadow_type">none</property> 153 <child> 154 <widget class="GtkAlignment" id="alignment2"> 155 <property name="visible">True</property> 156 <property name="top_padding">3</property> 157 <property name="bottom_padding">6</property> 158 <property name="left_padding">6</property> 159 <child> 160 <widget class="GtkHBox" id="hbox1"> 161 <property name="visible">True</property> 162 <child> 163 <widget class="GtkButton" id="btnDisplay"> 164 <property name="label" translatable="yes">Display</property> 165 <property name="visible">True</property> 166 <property name="can_focus">True</property> 167 <property name="receives_default">True</property> 168 </widget> 169 <packing> 170 <property name="expand">False</property> 171 <property name="fill">False</property> 172 <property name="pack_type">end</property> 173 <property name="position">1</property> 174 </packing> 175 </child> 176 <child> 177 <widget class="GtkButton" id="btnProofDetails"> 178 <property name="label" translatable="yes">Proof details</property> 179 <property name="visible">True</property> 180 <property name="can_focus">True</property> 181 <property name="receives_default">True</property> 182 </widget> 183 <packing> 184 <property name="expand">False</property> 185 <property name="fill">False</property> 186 <property name="pack_type">end</property> 187 <property name="position">1</property> 188 </packing> 189 </child> 190 <child> 191 <widget class="GtkButton" id="btnProve"> 192 <property name="label" translatable="yes">Prove</property> 193 <property name="visible">True</property> 194 <property name="can_focus">True</property> 195 <property name="receives_default">True</property> 196 </widget> 197 <packing> 198 <property name="expand">False</property> 199 <property name="fill">False</property> 200 <property name="pack_type">end</property> 201 <property name="position">0</property> 202 </packing> 203 </child> 204 </widget> 205 </child> 206 </widget> 207 </child> 208 <child> 209 <widget class="GtkLabel" id="label3"> 210 <property name="visible">True</property> 161 211 <property name="label" translatable="yes">Selected goal(s):</property> 162 212 <property name="use_markup">True</property> 163 213 </widget> 214 <packing> 215 <property name="type">label_item</property> 216 </packing> 164 217 </child> 165 218 </widget> 166 219 <packing> 167 220 <property name="expand">False</property> 221 <property name="fill">False</property> 168 222 <property name="position">0</property> 169 223 </packing> 170 224 </child> 171 225 <child> 172 <widget class="GtkHBox" id="hbox2"> 173 <property name="visible">True</property> 174 <child> 175 <widget class="GtkButton" id="btnDisplay"> 176 <property name="label" translatable="yes">Display</property> 177 <property name="visible">True</property> 178 <property name="can_focus">True</property> 179 <property name="receives_default">True</property> 180 </widget> 181 <packing> 182 <property name="expand">False</property> 183 <property name="fill">False</property> 184 <property name="pack_type">end</property> 185 <property name="position">1</property> 186 </packing> 187 </child> 188 <child> 189 <widget class="GtkButton" id="btnProofDetails"> 190 <property name="label" translatable="yes">Proof details</property> 191 <property name="visible">True</property> 192 <property name="can_focus">True</property> 193 <property name="receives_default">True</property> 194 </widget> 195 <packing> 196 <property name="expand">False</property> 197 <property name="fill">False</property> 198 <property name="pack_type">end</property> 199 <property name="position">1</property> 200 </packing> 201 </child> 202 <child> 203 <widget class="GtkButton" id="btnProve"> 204 <property name="label" translatable="yes">Prove</property> 205 <property name="visible">True</property> 206 <property name="can_focus">True</property> 207 <property name="receives_default">True</property> 208 </widget> 209 <packing> 210 <property name="expand">False</property> 211 <property name="fill">False</property> 212 <property name="pack_type">end</property> 213 <property name="position">0</property> 226 <widget class="GtkFrame" id="frame1"> 227 <property name="visible">True</property> 228 <property name="label_xalign">0</property> 229 <property name="shadow_type">none</property> 230 <child> 231 <widget class="GtkAlignment" id="alignment4"> 232 <property name="visible">True</property> 233 <property name="top_padding">3</property> 234 <property name="bottom_padding">6</property> 235 <property name="left_padding">12</property> 236 <child> 237 <widget class="GtkLabel" id="lblSublogic"> 238 <property name="visible">True</property> 239 <property name="xalign">0</property> 240 <property name="yalign">0</property> 241 <property name="label" translatable="yes">No sublogic given</property> 242 <property name="use_markup">True</property> 243 </widget> 244 </child> 245 </widget> 246 </child> 247 <child> 248 <widget class="GtkLabel" id="label5"> 249 <property name="visible">True</property> 250 <property name="label" translatable="yes">Sublogic of currently selected theory:</property> 251 <property name="use_markup">True</property> 252 </widget> 253 <packing> 254 <property name="type">label_item</property> 214 255 </packing> 215 256 </child> … … 222 263 </child> 223 264 <child> 224 <widget class="GtkAlignment" id="alignment4"> 225 <property name="visible">True</property> 226 <property name="top_padding">5</property> 227 <property name="left_padding">5</property> 228 <child> 229 <widget class="GtkLabel" id="label3"> 230 <property name="visible">True</property> 231 <property name="xalign">0</property> 232 <property name="yalign">0</property> 233 <property name="label" translatable="yes">Status:</property> 234 <property name="use_markup">True</property> 235 </widget> 236 </child> 237 </widget> 238 <packing> 239 <property name="expand">False</property> 240 <property name="position">2</property> 241 </packing> 242 </child> 243 <child> 244 <widget class="GtkAlignment" id="alignment3"> 245 <property name="visible">True</property> 246 <property name="top_padding">10</property> 247 <property name="bottom_padding">10</property> 248 <property name="left_padding">20</property> 249 <property name="right_padding">10</property> 250 <child> 251 <widget class="GtkLabel" id="lblStatus"> 252 <property name="visible">True</property> 253 <property name="xalign">0</property> 254 <property name="yalign">0</property> 255 <property name="label" translatable="yes"><span color="black">No prover running</span></property> 256 <property name="use_markup">True</property> 257 </widget> 258 </child> 259 </widget> 260 <packing> 261 <property name="expand">False</property> 262 <property name="position">3</property> 263 </packing> 264 </child> 265 <child> 266 <widget class="GtkAlignment" id="alignment5"> 267 <property name="visible">True</property> 268 <property name="top_padding">5</property> 269 <property name="left_padding">5</property> 270 <property name="right_padding">15</property> 271 <child> 272 <widget class="GtkLabel" id="label5"> 273 <property name="visible">True</property> 274 <property name="xalign">0</property> 275 <property name="yalign">0</property> 276 <property name="label" translatable="yes">Sublogic of currently selected theory:</property> 277 <property name="use_markup">True</property> 278 </widget> 279 </child> 280 </widget> 281 <packing> 282 <property name="expand">False</property> 283 <property name="position">4</property> 284 </packing> 285 </child> 286 <child> 287 <widget class="GtkAlignment" id="alignment6"> 288 <property name="visible">True</property> 289 <property name="top_padding">10</property> 290 <property name="bottom_padding">10</property> 291 <property name="left_padding">20</property> 292 <property name="right_padding">10</property> 293 <child> 294 <widget class="GtkLabel" id="lblSublogic"> 295 <property name="visible">True</property> 296 <property name="xalign">0</property> 297 <property name="yalign">0</property> 298 <property name="label" translatable="yes"><b>CASL.FOL</b></property> 299 <property name="use_markup">True</property> 300 </widget> 301 </child> 302 </widget> 303 <packing> 304 <property name="expand">False</property> 305 <property name="position">5</property> 306 </packing> 307 </child> 308 <child> 309 <widget class="GtkFrame" id="frame2"> 265 <widget class="GtkFrame" id="frame5"> 310 266 <property name="visible">True</property> 311 267 <property name="label_xalign">0</property> 312 268 <property name="shadow_type">none</property> 313 269 <child> 314 <widget class="GtkAlignment" id="alignment2"> 315 <property name="visible">True</property> 270 <widget class="GtkAlignment" id="alignment3"> 271 <property name="visible">True</property> 272 <property name="top_padding">3</property> 273 <property name="bottom_padding">6</property> 274 <property name="left_padding">12</property> 275 <child> 276 <widget class="GtkLabel" id="lblComorphism"> 277 <property name="visible">True</property> 278 <property name="xalign">0</property> 279 <property name="label" translatable="yes">No path selected</property> 280 <property name="wrap">True</property> 281 <property name="selectable">True</property> 282 </widget> 283 </child> 284 </widget> 285 </child> 286 <child> 287 <widget class="GtkLabel" id="label1"> 288 <property name="visible">True</property> 289 <property name="label" translatable="yes">Selected comorphism path:</property> 290 <property name="use_markup">True</property> 291 </widget> 292 <packing> 293 <property name="type">label_item</property> 294 </packing> 295 </child> 296 </widget> 297 <packing> 298 <property name="expand">False</property> 299 <property name="fill">False</property> 300 <property name="position">2</property> 301 </packing> 302 </child> 303 <child> 304 <widget class="GtkFrame" id="frame4"> 305 <property name="visible">True</property> 306 <property name="label_xalign">0</property> 307 <property name="shadow_type">none</property> 308 <child> 309 <widget class="GtkAlignment" id="alignment5"> 310 <property name="visible">True</property> 311 <property name="top_padding">3</property> 316 312 <property name="bottom_padding">6</property> 317 313 <property name="left_padding">6</property> 318 <property name="right_padding">6</property>319 314 <child> 320 315 <widget class="GtkScrolledWindow" id="scrolledwindow2"> … … 335 330 </child> 336 331 <child> 337 <widget class="GtkLabel" id="label 1">332 <widget class="GtkLabel" id="label2"> 338 333 <property name="visible">True</property> 339 334 <property name="label" translatable="yes">Pick theorem prover:</property> … … 346 341 </widget> 347 342 <packing> 348 <property name="position"> 6</property>343 <property name="position">3</property> 349 344 </packing> 350 345 </child> … … 354 349 <property name="layout_style">end</property> 355 350 <child> 356 <widget class="GtkButton" id="btnFine Selection">351 <widget class="GtkButton" id="btnFineGrained"> 357 352 <property name="label" translatable="yes">More fine grained selection...</property> 358 353 <property name="visible">True</property> … … 369 364 <packing> 370 365 <property name="expand">False</property> 371 <property name="position"> 8</property>366 <property name="position">4</property> 372 367 </packing> 373 368 </child> … … 396 391 <widget class="GtkVBox" id="vbox5"> 397 392 <property name="visible">True</property> 398 <property name="orientation">vertical</property>399 393 <child> 400 <widget class="GtkLabel" id="label 2">394 <widget class="GtkLabel" id="label4"> 401 395 <property name="visible">True</property> 402 396 <property name="label" translatable="yes">Fine grained composition of theory</property> … … 409 403 </child> 410 404 <child> 411 <widget class="GtkHBox" id="hbox 5">405 <widget class="GtkHBox" id="hbox3"> 412 406 <property name="visible">True</property> 413 407 <child> 414 408 <widget class="GtkVBox" id="vbox2"> 415 409 <property name="visible">True</property> 416 <property name="orientation">vertical</property> 417 <child> 418 <widget class="GtkFrame" id="frame3"> 410 <child> 411 <widget class="GtkFrame" id="frame6"> 419 412 <property name="visible">True</property> 420 413 <property name="label_xalign">0</property> … … 423 416 <widget class="GtkAlignment" id="alignment7"> 424 417 <property name="visible">True</property> 425 <property name="top_padding"> 6</property>418 <property name="top_padding">3</property> 426 419 <property name="bottom_padding">6</property> 427 420 <property name="left_padding">6</property> 428 <property name="right_padding">6</property>429 421 <child> 430 422 <widget class="GtkScrolledWindow" id="scrolledwindow3"> … … 462 454 <widget class="GtkVBox" id="vbox7"> 463 455 <property name="visible">True</property> 464 <property name="orientation">vertical</property>465 456 <child> 466 457 <widget class="GtkHButtonBox" id="hbuttonbox4"> … … 549 540 <widget class="GtkVBox" id="vbox6"> 550 541 <property name="visible">True</property> 551 <property name="orientation">vertical</property> 552 <child> 553 <widget class="GtkFrame" id="frame4"> 542 <child> 543 <widget class="GtkFrame" id="frame7"> 554 544 <property name="visible">True</property> 555 545 <property name="label_xalign">0</property> … … 558 548 <widget class="GtkAlignment" id="alignment8"> 559 549 <property name="visible">True</property> 560 <property name="top_padding"> 6</property>550 <property name="top_padding">3</property> 561 551 <property name="bottom_padding">6</property> 562 552 <property name="left_padding">6</property> 563 <property name="right_padding">6</property>564 553 <child> 565 554 <widget class="GtkScrolledWindow" id="scrolledwindow4"> … … 672 661 <property name="visible">True</property> 673 662 <child> 674 <widget class="GtkHButtonBox" id="hbuttonbox 1">663 <widget class="GtkHButtonBox" id="hbuttonbox2"> 675 664 <property name="visible">True</property> 676 665 <property name="spacing">5</property> … … 709 698 </child> 710 699 <child> 711 <widget class="GtkHButtonBox" id="hbuttonbox 2">700 <widget class="GtkHButtonBox" id="hbuttonbox1"> 712 701 <property name="visible">True</property> 713 702 <property name="spacing">5</property> … … 742 731 </child> 743 732 </widget> 744 <widget class="GtkWindow" id="Prove">745 <child>746 <widget class="GtkVBox" id="vbox15">747 <property name="visible">True</property>748 <property name="orientation">vertical</property>749 <child>750 <widget class="GtkHBox" id="hbox5">751 <property name="visible">True</property>752 <child>753 <widget class="GtkFrame" id="frame6">754 <property name="visible">True</property>755 <property name="label_xalign">0</property>756 <property name="shadow_type">none</property>757 <child>758 <widget class="GtkAlignment" id="alignment10">759 <property name="visible">True</property>760 <property name="left_padding">12</property>761 <child>762 <widget class="GtkScrolledWindow" id="scrolledwindow6">763 <property name="visible">True</property>764 <property name="can_focus">True</property>765 <property name="hadjustment">0 0 117 11.700000000000001 105.3 117</property>766 <property name="vadjustment">0 0 284 28.400000000000002 255.59999999999999 284</property>767 <property name="hscrollbar_policy">automatic</property>768 <property name="vscrollbar_policy">automatic</property>769 <child>770 <widget class="GtkTreeView" id="trvGoals1">771 <property name="height_request">100</property>772 <property name="visible">True</property>773 <property name="can_focus">True</property>774 </widget>775 </child>776 </widget>777 </child>778 </widget>779 </child>780 <child>781 <widget class="GtkLabel" id="label4">782 <property name="visible">True</property>783 <property name="label" translatable="yes">Goals:</property>784 <property name="use_markup">True</property>785 </widget>786 <packing>787 <property name="type">label_item</property>788 </packing>789 </child>790 </widget>791 <packing>792 <property name="position">0</property>793 </packing>794 </child>795 <child>796 <widget class="GtkFrame" id="frame8">797 <property name="visible">True</property>798 <property name="label_xalign">0</property>799 <property name="shadow_type">none</property>800 <child>801 <widget class="GtkAlignment" id="alignment14">802 <property name="visible">True</property>803 <property name="left_padding">12</property>804 <child>805 <widget class="GtkVBox" id="vbox11">806 <property name="visible">True</property>807 <property name="orientation">vertical</property>808 <child>809 <widget class="GtkFrame" id="frame1">810 <property name="visible">True</property>811 <property name="label_xalign">0</property>812 <property name="shadow_type">none</property>813 <child>814 <widget class="GtkAlignment" id="alignment11">815 <property name="visible">True</property>816 <property name="left_padding">12</property>817 <child>818 <widget class="GtkVBox" id="vbox9">819 <property name="visible">True</property>820 <property name="orientation">vertical</property>821 <child>822 <widget class="GtkHBox" id="hbox8">823 <property name="visible">True</property>824 <child>825 <widget class="GtkLabel" id="label10">826 <property name="visible">True</property>827 <property name="xalign">0</property>828 <property name="label" translatable="yes">Time Limit:</property>829 </widget>830 <packing>831 <property name="position">0</property>832 </packing>833 </child>834 <child>835 <widget class="GtkSpinButton" id="sbTimeLimitProve">836 <property name="visible">True</property>837 <property name="can_focus">True</property>838 <property name="invisible_char">●</property>839 <property name="adjustment">20 0 40 1 10 10</property>840 </widget>841 <packing>842 <property name="expand">False</property>843 <property name="pack_type">end</property>844 <property name="position">1</property>845 </packing>846 </child>847 </widget>848 <packing>849 <property name="expand">False</property>850 <property name="position">0</property>851 </packing>852 </child>853 <child>854 <widget class="GtkLabel" id="label11">855 <property name="visible">True</property>856 <property name="xalign">0</property>857 <property name="label" translatable="yes">Extra Options:</property>858 <property name="use_markup">True</property>859 </widget>860 <packing>861 <property name="expand">False</property>862 <property name="position">1</property>863 </packing>864 </child>865 <child>866 <widget class="GtkEntry" id="entryOptionsProve">867 <property name="visible">True</property>868 <property name="can_focus">True</property>869 <property name="invisible_char">●</property>870 </widget>871 <packing>872 <property name="expand">False</property>873 <property name="position">2</property>874 </packing>875 </child>876 <child>877 <widget class="GtkHButtonBox" id="hbuttonbox9">878 <property name="visible">True</property>879 <property name="layout_style">end</property>880 <child>881 <widget class="GtkButton" id="btnSaveProve">882 <property name="label" translatable="yes">Save tptp File</property>883 <property name="visible">True</property>884 <property name="can_focus">True</property>885 <property name="receives_default">True</property>886 </widget>887 <packing>888 <property name="expand">False</property>889 <property name="fill">False</property>890 <property name="position">0</property>891 </packing>892 </child>893 <child>894 <widget class="GtkButton" id="btnProve1">895 <property name="label" translatable="yes">Prove</property>896 <property name="visible">True</property>897 <property name="can_focus">True</property>898 <property name="receives_default">True</property>899 </widget>900 <packing>901 <property name="expand">False</property>902 <property name="fill">False</property>903 <property name="position">1</property>904 </packing>905 </child>906 </widget>907 <packing>908 <property name="expand">False</property>909 <property name="position">3</property>910 </packing>911 </child>912 </widget>913 </child>914 </widget>915 </child>916 <child>917 <widget class="GtkLabel" id="label1">918 <property name="visible">True</property>919 <property name="label" translatable="yes">Options:</property>920 <property name="use_markup">True</property>921 </widget>922 <packing>923 <property name="type">label_item</property>924 </packing>925 </child>926 </widget>927 <packing>928 <property name="expand">False</property>929 <property name="position">0</property>930 </packing>931 </child>932 <child>933 <widget class="GtkFrame" id="frame7">934 <property name="visible">True</property>935 <property name="label_xalign">0</property>936 <property name="shadow_type">none</property>937 <child>938 <widget class="GtkAlignment" id="alignment13">939 <property name="visible">True</property>940 <property name="left_padding">12</property>941 <child>942 <widget class="GtkVBox" id="vbox10">943 <property name="visible">True</property>944 <property name="orientation">vertical</property>945 <child>946 <widget class="GtkHBox" id="hbox6">947 <property name="visible">True</property>948 <child>949 <widget class="GtkLabel" id="label13">950 <property name="visible">True</property>951 <property name="xalign">0</property>952 <property name="label" translatable="yes">Status:</property>953 </widget>954 <packing>955 <property name="expand">False</property>956 <property name="position">0</property>957 </packing>958 </child>959 <child>960 <widget class="GtkLabel" id="lblStatus1">961 <property name="visible">True</property>962 <property name="xalign">0</property>963 <property name="xpad">20</property>964 <property name="label" translatable="yes">Open</property>965 </widget>966 <packing>967 <property name="position">1</property>968 </packing>969 </child>970 </widget>971 <packing>972 <property name="expand">False</property>973 <property name="position">0</property>974 </packing>975 </child>976 <child>977 <widget class="GtkLabel" id="label12">978 <property name="visible">True</property>979 <property name="xalign">0</property>980 <property name="label" translatable="yes">Used Axioms:</property>981 <property name="use_markup">True</property>982 </widget>983 <packing>984 <property name="expand">False</property>985 <property name="position">1</property>986 </packing>987 </child>988 <child>989 <widget class="GtkAlignment" id="alignment12">990 <property name="visible">True</property>991 <property name="bottom_padding">5</property>992 <child>993 <widget class="GtkScrolledWindow" id="scrolledwindow7">994 <property name="visible">True</property>995 <property name="can_focus">True</property>996 <property name="hscrollbar_policy">automatic</property>997 <property name="vscrollbar_policy">automatic</property>998 <child>999 <widget class="GtkTreeView" id="trvAxioms1">1000 <property name="height_request">100</property>1001 <property name="visible">True</property>1002 <property name="can_focus">True</property>1003 </widget>1004 </child>1005 </widget>1006 </child>1007 </widget>1008 <packing>1009 <property name="position">2</property>1010 </packing>1011 </child>1012 <child>1013 <widget class="GtkHButtonBox" id="hbuttonbox10">1014 <property name="visible">True</property>1015 <property name="layout_style">end</property>1016 <child>1017 <widget class="GtkButton" id="btnShowDetails">1018 <property name="label" translatable="yes">Show Details</property>1019 <property name="visible">True</property>1020 <property name="can_focus">True</property>1021 <property name="receives_default">True</property>1022 </widget>1023 <packing>1024 <property name="expand">False</property>1025 <property name="fill">False</property>1026 <property name="position">0</property>1027 </packing>1028 </child>1029 </widget>1030 <packing>1031 <property name="expand">False</property>1032 <property name="position">3</property>1033 </packing>1034 </child>1035 </widget>1036 </child>1037 </widget>1038 </child>1039 <child>1040 <widget class="GtkLabel" id="label9">1041 <property name="visible">True</property>1042 <property name="label" translatable="yes">Results:</property>1043 <property name="use_markup">True</property>1044 </widget>1045 <packing>1046 <property name="type">label_item</property>1047 </packing>1048 </child>1049 </widget>1050 <packing>1051 <property name="position">1</property>1052 </packing>1053 </child>1054 </widget>1055 </child>1056 </widget>1057 </child>1058 <child>1059 <widget class="GtkLabel" id="label5">1060 <property name="visible">True</property>1061 <property name="label" translatable="yes">Options:</property>1062 <property name="use_markup">True</property>1063 </widget>1064 <packing>1065 <property name="type">label_item</property>1066 </packing>1067 </child>1068 </widget>1069 <packing>1070 <property name="position">1</property>1071 </packing>1072 </child>1073 </widget>1074 <packing>1075 <property name="position">0</property>1076 </packing>1077 </child>1078 <child>1079 <widget class="GtkHSeparator" id="hseparator3">1080 <property name="visible">True</property>1081 </widget>1082 <packing>1083 <property name="expand">False</property>1084 <property name="padding">3</property>1085 <property name="position">1</property>1086 </packing>1087 </child>1088 <child>1089 <widget class="GtkVBox" id="vbox13">1090 <property name="visible">True</property>1091 <property name="orientation">vertical</property>1092 <child>1093 <widget class="GtkLabel" id="lblBatchMode">1094 <property name="visible">True</property>1095 <property name="label" translatable="yes">Darwin Batch Mode:</property>1096 </widget>1097 <packing>1098 <property name="expand">False</property>1099 <property name="position">0</property>1100 </packing>1101 </child>1102 <child>1103 <widget class="GtkHBox" id="hbox9">1104 <property name="visible">True</property>1105 <child>1106 <widget class="GtkFrame" id="frame9">1107 <property name="visible">True</property>1108 <property name="label_xalign">0</property>1109 <property name="shadow_type">none</property>1110 <child>1111 <widget class="GtkAlignment" id="alignment15">1112 <property name="visible">True</property>1113 <property name="left_padding">12</property>1114 <child>1115 <widget class="GtkVBox" id="vbox12">1116 <property name="visible">True</property>1117 <property name="orientation">vertical</property>1118 <child>1119 <widget class="GtkHBox" id="hbox2">1120 <property name="visible">True</property>1121 <child>1122 <widget class="GtkLabel" id="label14">1123 <property name="visible">True</property>1124 <property name="xalign">0</property>1125 <property name="label" translatable="yes">Time Limit:</property>1126 </widget>1127 <packing>1128 <property name="position">0</property>1129 </packing>1130 </child>1131 <child>1132 <widget class="GtkSpinButton" id="sbTimeLimitBatch">1133 <property name="visible">True</property>1134 <property name="can_focus">True</property>1135 <property name="invisible_char">●</property>1136 <property name="adjustment">20 0 40 1 10 10</property>1137 </widget>1138 <packing>1139 <property name="expand">False</property>1140 <property name="pack_type">end</property>1141 <property name="position">1</property>1142 </packing>1143 </child>1144 </widget>1145 <packing>1146 <property name="position">0</property>1147 </packing>1148 </child>1149 <child>1150 <widget class="GtkLabel" id="label2">1151 <property name="visible">True</property>1152 <property name="xalign">0</property>1153 <property name="label" translatable="yes">Extra Options:</property>1154 <property name="use_markup">True</property>1155 </widget>1156 <packing>1157 <property name="position">1</property>1158 </packing>1159 </child>1160 <child>1161 <widget class="GtkEntry" id="entryOptionsBatch">1162 <property name="visible">True</property>1163 <property name="can_focus">True</property>1164 <property name="invisible_char">●</property>1165 </widget>1166 <packing>1167 <property name="position">2</property>1168 </packing>1169 </child>1170 </widget>1171 </child>1172 </widget>1173 </child>1174 <child>1175 <widget class="GtkLabel" id="label16">1176 <property name="visible">True</property>1177 <property name="label" translatable="yes">Options:</property>1178 <property name="use_markup">True</property>1179 </widget>1180 <packing>1181 <property name="type">label_item</property>1182 </packing>1183 </child>1184 </widget>1185 <packing>1186 <property name="position">0</property>1187 </packing>1188 </child>1189 <child>1190 <widget class="GtkHButtonBox" id="hbuttonbox11">1191 <property name="visible">True</property>1192 <child>1193 <widget class="GtkButton" id="btnStop">1194 <property name="label" translatable="yes">Stop</property>1195 <property name="visible">True</property>1196 <property name="can_focus">True</property>1197 <property name="receives_default">True</property>1198 </widget>1199 <packing>1200 <property name="expand">False</property>1201 <property name="fill">False</property>1202 <property name="position">0</property>1203 </packing>1204 </child>1205 <child>1206 <widget class="GtkButton" id="btnRun">1207 <property name="label" translatable="yes">Run</property>1208 <property name="visible">True</property>1209 <property name="can_focus">True</property>1210 <property name="receives_default">True</property>1211 </widget>1212 <packing>1213 <property name="expand">False</property>1214 <property name="fill">False</property>1215 <property name="position">1</property>1216 </packing>1217 </child>1218 </widget>1219 <packing>1220 <property name="expand">False</property>1221 <property name="position">1</property>1222 </packing>1223 </child>1224 </widget>1225 <packing>1226 <property name="position">1</property>1227 </packing>1228 </child>1229 <child>1230 <widget class="GtkHBox" id="hbox10">1231 <property name="visible">True</property>1232 <child>1233 <widget class="GtkLabel" id="label17">1234 <property name="visible">True</property>1235 <property name="xalign">0</property>1236 <property name="xpad">5</property>1237 <property name="label" translatable="yes">Current goal:</property>1238 </widget>1239 <packing>1240 <property name="expand">False</property>1241 <property name="position">0</property>1242 </packing>1243 </child>1244 <child>1245 <widget class="GtkLabel" id="lblCurrentGoal">1246 <property name="visible">True</property>1247 <property name="xalign">0</property>1248 <property name="xpad">5</property>1249 <property name="label" translatable="yes">---</property>1250 </widget>1251 <packing>1252 <property name="position">1</property>1253 </packing>1254 </child>1255 </widget>1256 <packing>1257 <property name="position">2</property>1258 </packing>1259 </child>1260 </widget>1261 <packing>1262 <property name="expand">False</property>1263 <property name="position">2</property>1264 </packing>1265 </child>1266 <child>1267 <widget class="GtkHSeparator" id="hseparator4">1268 <property name="visible">True</property>1269 </widget>1270 <packing>1271 <property name="expand">False</property>1272 <property name="padding">3</property>1273 <property name="position">3</property>1274 </packing>1275 </child>1276 <child>1277 <widget class="GtkVBox" id="vbox14">1278 <property name="visible">True</property>1279 <property name="orientation">vertical</property>1280 <child>1281 <widget class="GtkLabel" id="label18">1282 <property name="visible">True</property>1283 <property name="label" translatable="yes">Global Options:</property>1284 </widget>1285 <packing>1286 <property name="expand">False</property>1287 <property name="position">0</property>1288 </packing>1289 </child>1290 <child>1291 <widget class="GtkCheckButton" id="cbIncludeProven">1292 <property name="label" translatable="yes">include preceeding proven theorems in next proof attempt</property>1293 <property name="visible">True</property>1294 <property name="can_focus">True</property>1295 <property name="receives_default">False</property>1296 <property name="active">True</property>1297 <property name="draw_indicator">True</property>1298 </widget>1299 <packing>1300 <property name="expand">False</property>1301 <property name="position">1</property>1302 </packing>1303 </child>1304 </widget>1305 <packing>1306 <property name="expand">False</property>1307 <property name="position">4</property>1308 </packing>1309 </child>1310 <child>1311 <widget class="GtkHSeparator" id="hseparator5">1312 <property name="visible">True</property>1313 </widget>1314 <packing>1315 <property name="expand">False</property>1316 <property name="padding">3</property>1317 <property name="position">5</property>1318 </packing>1319 </child>1320 <child>1321 <widget class="GtkHBox" id="hbox11">1322 <property name="visible">True</property>1323 <child>1324 <widget class="GtkHButtonBox" id="hbuttonbox12">1325 <property name="visible">True</property>1326 <child>1327 <widget class="GtkButton" id="btnHelp">1328 <property name="label" translatable="yes">Help</property>1329 <property name="visible">True</property>1330 <property name="can_focus">True</property>1331 <property name="receives_default">True</property>1332 </widget>1333 <packing>1334 <property name="expand">False</property>1335 <property name="fill">False</property>1336 <property name="position">0</property>1337 </packing>1338 </child>1339 </widget>1340 <packing>1341 <property name="expand">False</property>1342 <property name="fill">False</property>1343 <property name="position">0</property>1344 </packing>1345 </child>1346 <child>1347 <widget class="GtkHButtonBox" id="hbuttonbox13">1348 <property name="visible">True</property>1349 <child>1350 <widget class="GtkButton" id="btnSave2">1351 <property name="label" translatable="yes">Save Prover configuratuion</property>1352 <property name="visible">True</property>1353 <property name="can_focus">True</property>1354 <property name="receives_default">True</property>1355 </widget>1356 <packing>1357 <property name="expand">False</property>1358 <property name="fill">False</property>1359 <property name="position">0</property>1360 </packing>1361 </child>1362 </widget>1363 <packing>1364 <property name="fill">False</property>1365 <property name="position">1</property>1366 </packing>1367 </child>1368 <child>1369 <widget class="GtkHButtonBox" id="hbuttonbox14">1370 <property name="visible">True</property>1371 <child>1372 <widget class="GtkButton" id="btnClose2">1373 <property name="label" translatable="yes">Close</property>1374 <property name="visible">True</property>1375 <property name="can_focus">True</property>1376 <property name="receives_default">True</property>1377 </widget>1378 <packing>1379 <property name="expand">False</property>1380 <property name="fill">False</property>1381 <property name="position">0</property>1382 </packing>1383 </child>1384 </widget>1385 <packing>1386 <property name="expand">False</property>1387 <property name="fill">False</property>1388 <property name="pack_type">end</property>1389 <property name="position">2</property>1390 </packing>1391 </child>1392 </widget>1393 <packing>1394 <property name="expand">False</property>1395 <property name="position">6</property>1396 </packing>1397 </child>1398 </widget>1399 </child>1400 </widget>1401 <widget class="GtkWindow" id="ProofDetails">1402 <child>1403 <widget class="GtkVBox" id="vbox1">1404 <property name="visible">True</property>1405 <property name="orientation">vertical</property>1406 <child>1407 <widget class="GtkScrolledWindow" id="scrolledwindow5">1408 <property name="visible">True</property>1409 <property name="can_focus">True</property>1410 <property name="hscrollbar_policy">automatic</property>1411 <property name="vscrollbar_policy">automatic</property>1412 <child>1413 <widget class="GtkTextView" id="tvDetails">1414 <property name="visible">True</property>1415 <property name="can_focus">True</property>1416 </widget>1417 </child>1418 </widget>1419 <packing>1420 <property name="position">0</property>1421 </packing>1422 </child>1423 <child>1424 <widget class="GtkHBox" id="hbox1">1425 <property name="visible">True</property>1426 <child>1427 <widget class="GtkHButtonBox" id="hbuttonbox1">1428 <property name="visible">True</property>1429 <property name="layout_style">start</property>1430 <child>1431 <widget class="GtkButton" id="btnExpandScripts">1432 <property name="label" translatable="yes">Expand tactic scripts</property>1433 <property name="visible">True</property>1434 <property name="can_focus">True</property>1435 <property name="receives_default">True</property>1436 </widget>1437 <packing>1438 <property name="expand">False</property>1439 <property name="fill">False</property>1440 <property name="position">0</property>1441 </packing>1442 </child>1443 <child>1444 <widget class="GtkButton" id="btnExpandTrees">1445 <property name="label" translatable="yes">Expand proof trees</property>1446 <property name="visible">True</property>1447 <property name="can_focus">True</property>1448 <property name="receives_default">True</property>1449 </widget>1450 <packing>1451 <property name="expand">False</property>1452 <property name="fill">False</property>1453 <property name="position">1</property>1454 </packing>1455 </child>1456 </widget>1457 <packing>1458 <property name="expand">False</property>1459 <property name="position">0</property>1460 </packing>1461 </child>1462 <child>1463 <widget class="GtkHButtonBox" id="hbuttonbox2">1464 <property name="visible">True</property>1465 <child>1466 <widget class="GtkButton" id="btnClose1">1467 <property name="label" translatable="yes">Close</property>1468 <property name="visible">True</property>1469 <property name="can_focus">True</property>1470 <property name="receives_default">True</property>1471 </widget>1472 <packing>1473 <property name="expand">False</property>1474 <property name="fill">False</property>1475 <property name="pack_type">end</property>1476 <property name="position">1</property>1477 </packing>1478 </child>1479 <child>1480 <widget class="GtkButton" id="btnSave1">1481 <property name="label" translatable="yes">Save</property>1482 <property name="visible">True</property>1483 <property name="can_focus">True</property>1484 <property name="receives_default">True</property>1485 </widget>1486 <packing>1487 <property name="expand">False</property>1488 <property name="fill">False</property>1489 <property name="pack_type">end</property>1490 <property name="position">0</property>1491 </packing>1492 </child>1493 </widget>1494 <packing>1495 <property name="expand">False</property>1496 <property name="pack_type">end</property>1497 <property name="position">1</property>1498 </packing>1499 </child>1500 </widget>1501 <packing>1502 <property name="expand">False</property>1503 <property name="position">1</property>1504 </packing>1505 </child>1506 </widget>1507 </child>1508 </widget>1509 733 </glade-interface> -
trunk/GUI/GtkConsistencyChecker.hs
r12745 r12754 28 28 29 29 import Interfaces.DataTypes 30 import Interfaces.GenericATPState (guiDefaultTimeLimit) 30 31 31 32 import Logic.Logic (Language(language_name)) … … 37 38 import Common.LibName (LibName) 38 39 40 import Control.Concurrent (forkIO, killThread, myThreadId) 39 41 import Control.Concurrent.MVar 40 42 import Control.Monad (foldM, join, mapM_) … … 59 61 , status :: ConsistencyStatus } 60 62 63 -- | Get a markup string containing name and color 64 instance Show FNode where 65 show FNode { name = n, status = s} = 66 "<span color=\"" ++ statusToColor s ++ "\">" ++ statusToPrefix s ++ n ++ 67 "</span>" 68 69 statusToColor :: ConsistencyStatus -> String 70 statusToColor s = case s of 71 CSUnchecked -> "black" 72 CSConsistent _ -> "green" 73 CSInconsistent _ -> "red" 74 CSTimeout _ -> "blue" 75 CSError _ -> "darkred" 76 77 statusToPrefix :: ConsistencyStatus -> String 78 statusToPrefix s = case s of 79 CSUnchecked -> "[ ] " 80 CSConsistent _ -> "[+] " 81 CSInconsistent _ -> "[-] " 82 CSTimeout _ -> "[t] " 83 CSError _ -> "[f] " 84 61 85 instance Show ConsistencyStatus where 62 show CSUnchecked = "Unchecked"63 show (CSConsistent s) = s86 show CSUnchecked = "Unchecked" 87 show (CSConsistent s) = s 64 88 show (CSInconsistent s) = s 65 show (CSTimeout s) = s66 show (CSError s) = s89 show (CSTimeout s) = s 90 show (CSError s) = s 67 91 68 92 instance Eq ConsistencyStatus where … … 99 123 100 124 windowSetTitle window "Consistency Checker" 125 spinButtonSetValue sbTimeout $ fromIntegral guiDefaultTimeLimit 101 126 102 127 let widgets = [ toWidget trvFinder … … 123 148 widgetSetSensitive btnResults False 124 149 125 stop <- newEmptyMVar 150 tid' <- myThreadId 151 threadId <- newMVar tid' 126 152 mView <- newEmptyMVar 127 153 … … 138 164 139 165 -- setup data 140 listNodes <- setListData trvNodes getFNodeName166 listNodes <- setListData trvNodes show 141 167 $ map (\ (n@(_,l),s) -> FNode (getDGNodeName l) n s CSUnchecked) 142 168 $ zip nodes sls … … 194 220 onClicked btnClose $ widgetDestroy window 195 221 onClicked btnFineGrained $ fineGrainedSelection trvFinder listFinder update 196 onClicked btnStop $ do 197 mStopF <- tryTakeMVar stop 198 case mStopF of 199 Nothing -> return () 200 Just stopF -> stopF 222 onClicked btnStop $ tryTakeMVar threadId >>=maybe (return ()) killThread 201 223 202 224 onClicked btnCheck $ do … … 210 232 Just (_,f) -> return f 211 233 switch False 212 forkIOWithPostProcessing 213 (check ln le dg f timeout updat nodes' stop) 214 $ \ res -> do 234 mtid <- tryTakeMVar threadId 235 maybe (error "MVar was not set.") (\ _ -> return ()) mtid 236 tid <- forkIO $ do 237 res <- check ln le dg f timeout updat nodes' 238 postGUIAsync $ do 215 239 widgetSetSensitive btnStop False 216 240 mapM_ (uncurry (listStoreSetValue listNodes)) res 217 tryTakeMVar stop218 241 switch True 219 242 showModelView mView "Results of consistency check" listNodes 220 243 activate checkWidgets True 221 244 exit 245 putMVar threadId tid 246 forkIO_ $ do 247 putMVar threadId tid' 248 postGUISync $ do 249 switch True 250 showModelView mView "Results of consistency check" listNodes 251 activate checkWidgets True 252 exit 222 253 223 254 widgetShow window 224 225 statusToColor :: ConsistencyStatus -> String226 statusToColor s = case s of227 CSUnchecked -> "black"228 CSConsistent _ -> "green"229 CSInconsistent _ -> "red"230 CSTimeout _ -> "blue"231 CSError _ -> "darkred"232 233 statusToPrefix :: ConsistencyStatus -> String234 statusToPrefix s = case s of235 CSUnchecked -> "[?] "236 CSConsistent _ -> "[+] "237 CSInconsistent _ -> "[-] "238 CSTimeout _ -> "[t] "239 CSError _ -> "[f] "240 241 -- | Get a markup string containing name and color242 getFNodeName :: FNode -> String243 getFNodeName (FNode { name = n, status = s }) =244 "<span color=\"" ++ statusToColor s ++ "\">" ++ statusToPrefix s ++ n ++245 "</span>"246 255 247 256 -- | Called when node selection is changed. Updates finder list … … 276 285 selectFirst view 277 286 278 activate :: [Widget] -> Bool -> IO ()279 activate widgets active = mapM_ (\ w -> widgetSetSensitive w active) widgets280 281 287 check :: LibName -> LibEnv -> DGraph -> Finder -> Int 282 -> (Double -> String -> IO ()) -> [(Int,FNode)] -> MVar (IO ()) 283 -> IO [(Int, FNode)] 288 -> (Double -> String -> IO ()) -> [(Int,FNode)] -> IO [(Int, FNode)] 284 289 check ln le dg (Finder { finder = cc, comorphs = cs, selected = i}) timeout 285 update nodes stop = do 286 stop' <- newEmptyMVar 287 putMVar stop $ putMVar stop' () 290 update nodes = do 288 291 let count' = fromIntegral $ length nodes 289 292 c = cs !! i 290 293 (_,r) <- foldM (\ (count, r) (row, fn@(FNode { name = n', node = n })) -> do 291 run <- isEmptyMVar stop' 292 r' <- if run then do 293 postGUISync $ update (count / count') n' 294 res <- consistencyCheck cc c ln le dg n timeout 295 return $ (row, fn { status = res }):r 296 else return r 297 return (count+1, r')) (0,[]) nodes 294 postGUISync $ update (count / count') n' 295 res <- consistencyCheck cc c ln le dg n timeout 296 return (count+1, (row, fn { status = res }):r)) (0,[]) nodes 298 297 return r 299 298 … … 350 349 351 350 nodes <- listStoreToList list 352 listNodes <- setListData trvNodes getFNodeName$ filterNodes nodes351 listNodes <- setListData trvNodes show $ filterNodes nodes 353 352 354 353 setListSelectorSingle trvNodes $ do -
trunk/GUI/GtkProverGUI.hs
r12660 r12754 28 28 import Common.ExtSign 29 29 30 import Control.Concurrent 30 import Control.Concurrent.MVar 31 31 32 32 import Proofs.AbstractState … … 95 95 btnProofDetails <- xmlGetWidget xml castToButton "btnProofDetails" 96 96 btnProve <- xmlGetWidget xml castToButton "btnProve" 97 lbl Status <- xmlGetWidget xml castToLabel "lblStatus"97 lblComorphism <- xmlGetWidget xml castToLabel "lblComorphism" 98 98 lblSublogic <- xmlGetWidget xml castToLabel "lblSublogic" 99 99 -- prover 100 100 trvProvers <- xmlGetWidget xml castToTreeView "trvProvers" 101 btnFine Selection <- xmlGetWidget xml castToButton "btnFineSelection"102 103 windowSetTitle window $ thName ++ " - Select Goal(s) and Prove"101 btnFineGrained <- xmlGetWidget xml castToButton "btnFineGrained" 102 103 windowSetTitle window $ "Prove: " ++ thName 104 104 105 105 axioms <- axiomMap initState … … 196 196 displayGoals s 197 197 198 onClicked btnProofDetails $ do 199 s <- readMVar state 200 proofDetails xml s 201 202 onClicked btnProve $ putStrLn "click" 203 204 onClicked btnFineSelection $ forkIO_ $ modifyMVar_ state $ (\ s -> do 198 onClicked btnProofDetails $ return () 199 200 onClicked btnProve $ return () 201 202 onClicked btnFineGrained $ forkIO_ $ modifyMVar_ state $ (\ s -> do 205 203 let s' = s { proverRunning = True } 206 setStatus window lblStatus True207 204 prState <- update s' 208 205 Result.Result ds ms'' <- fineGrainedSelectionF prGuiAcs prState … … 213 210 return s' 214 211 Just res -> return res 215 setStatus window lblStatus False216 212 return s'' { proverRunning = False 217 213 , accDiags = accDiags s'' ++ ds }) … … 224 220 return $ Result.Result { Result.diags = [] 225 221 , Result.maybeResult = Nothing } 226 227 222 228 223 -- | Called whenever the button "Display" is clicked. … … 322 317 return s { selectedProver = Just prover } 323 318 324 -- | Called to set satus text325 setStatus :: Window -> Label -> Bool -> IO ()326 setStatus window label running = case running of327 True -> do328 widgetSetSensitive window False329 labelSetLabel label "<span color=\"blue\">Waiting for prover</span>"330 False -> do331 widgetSetSensitive window True332 labelSetLabel label "<span color=\"black\">No prover running</span>"333 334 319 -- | Called to set sublogic label 335 320 setSublogic :: Label -> String -> IO () 336 321 setSublogic label text = labelSetLabel label $ "<b>" ++ text ++ "</b>" 337 322 338 {- Proof details GUI -}339 340 -- | Display text in an uneditable, scrollable editor. Not blocking!341 proofDetails ::342 GladeXML343 -> ProofState lid sentence344 -> IO ()345 proofDetails xml state = postGUIAsync $ do346 -- get objects347 window <- xmlGetWidget xml castToWindow "ProofDetails"348 tvDetails <- xmlGetWidget xml castToTextView "tvDetails"349 btnExpandScripts <- xmlGetWidget xml castToButton "btnExpandScripts"350 btnExpandTrees <- xmlGetWidget xml castToButton "btnExpandTrees"351 btnSave <- xmlGetWidget xml castToButton "btnSave1"352 btnClose <- xmlGetWidget xml castToButton "btnClose1"353 354 let355 thName = theoryName state356 title = "Proof Details of Selected Goals from Theory " ++ thName357 message = "Test text message!"358 file = thName ++ "-proof-details.txt"359 360 windowSetTitle window title361 buffer <- textViewGetBuffer tvDetails362 textBufferInsertAtCursor buffer message363 364 tagTable <- textBufferGetTagTable buffer365 font <- textTagNew Nothing366 set font [ textTagFont := "FreeMono" ]367 textTagTableAdd tagTable font368 start <- textBufferGetStartIter buffer369 end <- textBufferGetEndIter buffer370 textBufferApplyTag buffer font start end371 372 onClicked btnSave $ do373 fileSaveDialog file374 [("Nothing", ["*"]), ("Text", ["*.txt"])]375 $ Just (\ filepath -> writeFile filepath message)376 return ()377 378 onClicked btnClose $ widgetDestroy window379 380 onClicked btnExpandScripts $ do381 label <- buttonGetLabel btnExpandScripts382 let expand = isPrefixOf "Expand" label383 if expand then buttonSetLabel btnExpandScripts "Hide tactic scripts"384 else buttonSetLabel btnExpandScripts "Expand tactic scripts"385 return ()386 387 onClicked btnExpandTrees $ do388 label <- buttonGetLabel btnExpandTrees389 let expand = isPrefixOf "Expand" label390 if expand then buttonSetLabel btnExpandTrees "Hide proof trees"391 else buttonSetLabel btnExpandTrees "Expand proof trees"392 return ()393 394 widgetShow window395 396 {- Prove GUI -} -
trunk/GUI/GtkUtils.hs
r12634 r12754 70 70 , selectNone 71 71 , selectInvert 72 73 , activate 72 74 ) 73 75 where … … 613 615 listStoreClear list 614 616 mapM_ (listStoreAppend list) listData 617 618 -- | Activates or deactivates a list of widgets 619 activate :: [Widget] -> Bool -> IO () 620 activate widgets active = mapM_ (\ w -> widgetSetSensitive w active) widgets -
trunk/GUI/HTkGenericATP.hs
r12661 r12754 10 10 11 11 Generic GUI for automatic theorem provers. Based upon former SPASS Prover GUI. 12 13 -} 14 15 module GUI.GenericATP (genericATPgui,guiDefaultTimeLimit) where 12 -} 13 14 module GUI.HTkGenericATP (genericATPgui) where 16 15 17 16 import Logic.Prover
