Changeset 12791

Show
Ignore:
Timestamp:
05.11.2009 20:47:16 (2 weeks ago)
Author:
maeder
Message:

separated GUI from CMDL

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/GUI/displayDependencyGraph.hs

    r12777 r12791  
    120120    , "Comorphisms.KnownProvers", "Comorphisms.LogicGraph" 
    121121    , "Interfaces.GenericATPState" 
    122     , "GUI.Utils" 
     122    , "GUI.Utils", "GUI.Taxonomy" 
    123123    , "Driver.Options" -- Static 
    124124    , "GUI.GenericATP", "SoftFOL.CreateDFGDoc"