Changeset 12756

Show
Ignore:
Timestamp:
29.10.2009 19:40:08 (3 weeks ago)
Author:
raider
Message:

updated doc

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/GUI.hs

    r10620 r12756  
    22Module      :  $Id$ 
    33Description :  graphical user interface modules 
    4 Copyright   :  (c) Uni Bremen 2005-2007 
     4Copyright   :  (c) Uni Bremen 2005-2009 
    55License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt 
    66 
    … …  
    1818"GUI.AbstractGraphView" is a graph interface, based on the Workbench 
    1919encapsulation of uDraw(Graph). Provides additional functions 
    20 for hiding and redisplaying (groups of) nodes and edges. 
    21  
    22 "GUI.ConsistencyChecker" provides generic GUI for consistency checker. Based 
    23 upon "GUI.GenericATP" GUI. 
     20for hiding and redisplaying (groups of) nodes and edges. (Obsolete, use 
     21GraphAbstraction instead) 
    2422 
    2523"GUI.ConsoleUtils" are similar utilities for using without "HTk" (only 
    2624console). 
    2725 
    28 "GUI.DGTranslations" provides funtions to display the logic graph. 
     26"GUI.GenericATP" is a generic graphical interface for automatic 
     27theorem provers. Decides between Gtk and HTk implementation. 
    2928 
    30 "GUI.GenericATP" is a generic graphical interface for automatic 
    31 theorem provers. 
    32  
    33 "GUI.GenericATPState" provides data structures and initialising functions for 
    34 prover state and configurations. 
    35  
    36 "GUI.GraphAbstraction" provides an interface to the uDrawGraph 
     29"GUI.GraphAbstraction" provides an interface to uDrawGraph. 
    3730 
    3831"GUI.GraphDisplay" provides functions to display a DevGraph in a new window. 
    … …  
    4134"GUI.GraphMenu" 
    4235 
    43 "GUI.GraphMenu" creates all the menu functions for the File and the Edit menu of the uDrawGraph window. 
     36"GUI.GraphMenu" creates the File and the Edit menu of uDrawGraph, as well as the 
     37local node and edge menus and types. 
    4438 
    4539"GUI.GraphTypes" defines the types used in "GUI.GraphDisplay", "GUI.GraphLogic" 
    4640and "GUI.GraphMenu". 
    4741 
    48 "GUI.History" provides a history of commands in proof-script format. 
     42"GUI.GtkConsistencyChecker" gui for checking consistency. 
     43 
     44"GUI.GtkGenericATP" gtk version of generic prove gui. 
     45 
     46"GUI.GtkLinkTypeChoice" small window letting the user select the link types that 
     47should be displayed or hidden. 
     48 
     49"GUI.GtkProverGUI" prover gui implementation in gtk. 
     50 
     51"GUI.GtkUtils" a bunch of utility functions for use in and outside of gtk. 
     52 
     53"GUI.HTkGenericATP" htk version of generic prove gui. 
     54 
     55"GUI.HTkProofDetails" sets an additional window used by "GUI.ProverGUI" for 
     56displaying and saving proof details (prover output, tactic script, proof tree). 
     57 
     58"GUI.HTkProverGUI" is a goal management GUI for the structured level. 
    4959 
    5060"GUI.HTkUtils" provides some utilities on top of "HTk". 
    5161 
    52 "GUI.PrintUtils" are pretty printing functions used by "GUI.GenericATP". 
    53  
    54 "GUI.ProofDetails" sets an additional window used by "GUI.ProofManagement" for 
    55 displaying and saving proof details (prover output, tactic script, proof tree). 
    56  
    57 "GUI.ProofManagement" is a goal management GUI for the structured level. 
     62"GUI.ProverGUI" is a goal management GUI for the structured level. Decides 
     63between Gtk and HTk implementation. 
    5864 
    5965"GUI.ShowGraph" displays the final graph. 
    … …  
    6571"GUI.Taxonomy" displays a subsort relation (taxonomy). 
    6672 
    67 "GUI.Utils" are either "GUI.HTkUtils" or "GUI.ConsoleUtils". 
     73"GUI.Utils" are either "GUI.HTkUtils", "GUI.GtkUtils" or "GUI.ConsoleUtils". 
     74 
     75"GUI.UDGUtils" just imports and exports uDrawGraph modules. 
    6876-} 
    6977