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