Changeset 12755 for trunk/GUI/HTkProofDetails.hs

Timestamp:

29.10.2009 19:07:54 (5 months ago)

Author:

raider

Message:

equalize naming scheme of Gtk and HTk files.

Files:

• trunk/GUI/HTkProofDetails.hs (moved) (moved from trunk/GUI/ProofDetails.hs) (1 diff)

trunk/GUI/HTkProofDetails.hs

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