(module proof-ui mzscheme

  (require (lib "unit.ss")
           (lib "class.ss")
           (lib "tool.ss" "drscheme")
           "proof-signatures.scm"
           "proof-interfaces.scm"
           "proof-language.scm"
           "proof-frame.scm"
           "proof-text.scm"
           "proof-tab.scm"
           "proof-controller.scm")

  (provide proof-ui@)

  (define-compound-unit/infer proof-ui@
    (import drscheme:tool^)
    (export proof-language^ proof-tab^ proof-text^ proof-frame^)
    (link proof-interfaces@ proof-language@ proof-frame@
          proof-text@ proof-controller@ proof-tab@))

  )