GUI.hs

{- |
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