content: {- |
  Module      :  $Id$
  Description :  graphical user interface modules
  Copyright   :  (c) Uni Bremen 2005-2009
  License     :  GPLv2 or higher, see LICENSE.txt
  
  Maintainer  :  raider@informatik.uni-bremen.de
  Stability   :  provisional
  Portability :  non-portable (uses uni and development graphs)
  
  Graphical user interface for Hets. The GUI is based on the
  UniForM Workbench <http://www.informatik.uni-bremen.de/uniform/wb>.
  The UniForm Workbench provides an event system and encapsulations of
  TclTk <http://www.informatik.uni-bremen.de/htk/> and uDraw(Graph)
  <http://www.informatik.uni-bremen.de/uDrawGraph/en/index.html> (see
  module "GraphDisp").
  
  "GUI.AbstractGraphView" is a graph interface, based on the Workbench
  encapsulation of uDraw(Graph). Provides additional functions
  for hiding and redisplaying (groups of) nodes and edges. (Obsolete, use
  GraphAbstraction instead)
  
  "GUI.ConsoleUtils" are similar utilities for using without "HTk" (only
  console).
  
  "GUI.GenericATP" is a generic graphical interface for automatic
  theorem provers. Decides between Gtk and HTk implementation.
  
  "GUI.GraphAbstraction" provides an interface to uDrawGraph.
  
  "GUI.GraphDisplay" provides functions to display a DevGraph in a new window.
  
  "GUI.GraphLogic" provides the functionality for the menus created with
  "GUI.GraphMenu"
  
  "GUI.GraphMenu" creates the File and the Edit menu of uDrawGraph, as well as the
  local node and edge menus and types.
  
  "GUI.GraphTypes" defines the types used in "GUI.GraphDisplay", "GUI.GraphLogic"
  and "GUI.GraphMenu".
  
  "GUI.GtkConsistencyChecker" gui for checking consistency.
  
  "GUI.GtkGenericATP" gtk version of generic prove gui.
  
  "GUI.GtkLinkTypeChoice" small window letting the user select the link types that
  should be displayed or hidden.
  
  "GUI.GtkProverGUI" prover gui implementation in gtk.
  
  "GUI.GtkUtils" a bunch of utility functions for use in and outside of gtk.
  
  "GUI.HTkGenericATP" htk version of generic prove gui.
  
  "GUI.HTkProofDetails" sets an additional window used by "GUI.ProverGUI" for
  displaying and saving proof details (prover output, tactic script, proof tree).
  
  "GUI.HTkProverGUI" is a goal management GUI for the structured level.
  
  "GUI.HTkUtils" provides some utilities on top of "HTk".
  
  "GUI.ProverGUI" is a goal management GUI for the structured level. Decides
  between Gtk and HTk implementation.
  
  "GUI.ShowGraph" displays the final graph.
  
  "GUI.ShowLibGraph" displays the library graph.
  
  "GUI.ShowLogicGraph" displays the logic graph.
  
  "GUI.Taxonomy" displays a subsort relation (taxonomy).
  
  "GUI.Utils" are either "GUI.HTkUtils", "GUI.GtkUtils" or "GUI.ConsoleUtils".
  
  "GUI.UDGUtils" just imports and exports uDrawGraph modules.
  -}
  
  module GUI where
  