Show
Ignore:
Timestamp:
29.10.2009 18:46:01 (5 months ago)
Author:
raider
Message:

Added a Gtk version of the generic prover gui. GenericATP.hs moved to HTkGenericATP.hs. Stop is now workin in ConsistencyChecker?.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/GUI/Glade/ConsistencyChecker.glade

    r12743 r12754  
    343343                        <property name="bottom_padding">6</property> 
    344344                        <property name="left_padding">6</property> 
    345                         <property name="right_padding">6</property> 
    346345                        <child> 
    347346                          <widget class="GtkScrolledWindow" id="scrolledwindow1">