Changeset 12755

Timestamp:

29.10.2009 19:07:54 (3 weeks ago)

Author:

raider

Message:

equalize naming scheme of Gtk and HTk files.

Location:

trunk/GUI

Files:

• GenericATP.hs (modified) (2 diffs)
• GraphMenu.hs (modified) (1 diff)
• GraphTypes.hs (modified) (1 diff)
• GtkConsistencyChecker.hs (modified) (1 diff)
• GtkGenericATP.hs (modified) (1 diff)
• HTkProofDetails.hs (moved) (moved from trunk/GUI/ProofDetails.hs) (1 diff)
• HTkProverGUI.hs (moved) (moved from trunk/GUI/ProofManagement.hs) (2 diffs)
• ProverGUI.hs (modified) (1 diff)

trunk/GUI/GenericATP.hs

@@ -3 +3 @@
 Module      :  $Header$
 Description :  Generic Prover GUI.
-Copyright   :  (c) Thiemo Wiedemeyer, Uni Bremen 2006
+Copyright   :  (c) Thiemo Wiedemeyer, Uni Bremen 2009
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 
@@ -16 +16 @@
 
 import Interfaces.GenericATPState
-
-import Proofs.BatchProcessing
 
 import Logic.Prover

trunk/GUI/GraphMenu.hs

@@ -223 +223 @@
                  -> IO [GlobalMenu]
 createGlobalMenu gInfo@(GInfo { hetcatsOpts = opts
-                              , graphInfo = gi
-                              , libName = ln })
-                 showLib deselectEdgeTypes =
+                              , libName = ln
+#ifdef GTKGLADE
+                              , graphInfo = gi}) showLib deselectEdgeTypes =
+#else
+                              }) showLib _ =
+#endif
  do
  ost <- readIORef $ intState gInfo

trunk/GUI/GraphTypes.hs

@@ -26 +26 @@
 
 import GUI.GraphAbstraction(GraphInfo, initGraph)
-import GUI.ProofManagement (GUIMVar)
+import GUI.HTkProverGUI (GUIMVar)
 import GUI.UDGUtils
 

trunk/GUI/GtkConsistencyChecker.hs

@@ -2 +2 @@
 Module      :  $Header$
 Description :  Gtk GUI for the consistency checker
-Copyright   :  (c) Thiemo Wiedemeyer, Uni Bremen 2008
+Copyright   :  (c) Thiemo Wiedemeyer, Uni Bremen 2009
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 

trunk/GUI/GtkGenericATP.hs

@@ -2 +2 @@
 Module      :  $Header$
 Description :  Gtk Generic Prover GUI.
-Copyright   :  (c) Thiemo Wiedemeyer, Uni Bremen 2006
+Copyright   :  (c) Thiemo Wiedemeyer, Uni Bremen 2009
 License     :  similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt
 

trunk/GUI/HTkProofDetails.hs

@@ -12 +12 @@
 -}
 
-module GUI.ProofDetails (doShowProofDetails) where
+module GUI.HTkProofDetails (doShowProofDetails) where
 
 import qualified Common.Doc as Pretty

trunk/GUI/HTkProverGUI.hs

@@ -13 +13 @@
 -}
 
-module GUI.ProofManagement (proofManagementGUI,GUIMVar) where
+module GUI.HTkProverGUI (proofManagementGUI,GUIMVar) where
 
 import Common.AS_Annotation as AS_Anno
@@ -33 +33 @@
 import GUI.HTkUtils hiding
   (createTextSaveDisplay, displayTheoryWithWarning)
-import GUI.ProofDetails
+import GUI.HTkProofDetails
 
 import Proofs.AbstractState

trunk/GUI/ProverGUI.hs

@@ -27 +27 @@
 -- #elif defined UNI_PACKAGE
 import Control.Concurrent
-import GUI.ProofManagement
+import GUI.HTkProverGUI
 -- #endif