diff options
| author | peb <unknown> | 2005-02-04 09:10:28 +0000 |
|---|---|---|
| committer | peb <unknown> | 2005-02-04 09:10:28 +0000 |
| commit | 6381f3a9987f44c4c827ab2c9033519f191a2cce (patch) | |
| tree | 003cbe139a73453441ffaff8e3d9546ef3aac2b0 /src/tools | |
| parent | b2a6b1a176e1f707d3b14a9b35866d7a01406f23 (diff) | |
"Committed_by_peb"
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/AlphaConvGF.hs | 14 | ||||
| -rw-r--r-- | src/tools/GFDoc.hs | 14 | ||||
| -rw-r--r-- | src/tools/Htmls.hs | 14 | ||||
| -rw-r--r-- | src/tools/MkHelpFile.hs | 14 | ||||
| -rw-r--r-- | src/tools/WriteF.hs | 14 |
5 files changed, 70 insertions, 0 deletions
diff --git a/src/tools/AlphaConvGF.hs b/src/tools/AlphaConvGF.hs index 707ad8721..8cfc58ee8 100644 --- a/src/tools/AlphaConvGF.hs +++ b/src/tools/AlphaConvGF.hs @@ -1,3 +1,17 @@ +---------------------------------------------------------------------- +-- | +-- Module : (Module) +-- Maintainer : (Maintainer) +-- Stability : (stable) +-- Portability : (portable) +-- +-- > CVS $Date $ +-- > CVS $Author $ +-- > CVS $Revision $ +-- +-- (Description of the module) +----------------------------------------------------------------------------- + module Main where import LexGF diff --git a/src/tools/GFDoc.hs b/src/tools/GFDoc.hs index 883349748..402f82e8e 100644 --- a/src/tools/GFDoc.hs +++ b/src/tools/GFDoc.hs @@ -1,3 +1,17 @@ +---------------------------------------------------------------------- +-- | +-- Module : (Module) +-- Maintainer : (Maintainer) +-- Stability : (stable) +-- Portability : (portable) +-- +-- > CVS $Date $ +-- > CVS $Author $ +-- > CVS $Revision $ +-- +-- (Description of the module) +----------------------------------------------------------------------------- + module Main where import List diff --git a/src/tools/Htmls.hs b/src/tools/Htmls.hs index 7c4896c54..9156e305f 100644 --- a/src/tools/Htmls.hs +++ b/src/tools/Htmls.hs @@ -1,3 +1,17 @@ +---------------------------------------------------------------------- +-- | +-- Module : (Module) +-- Maintainer : (Maintainer) +-- Stability : (stable) +-- Portability : (portable) +-- +-- > CVS $Date $ +-- > CVS $Author $ +-- > CVS $Revision $ +-- +-- (Description of the module) +----------------------------------------------------------------------------- + module Main where import System diff --git a/src/tools/MkHelpFile.hs b/src/tools/MkHelpFile.hs index 3b88525a9..bd3c10792 100644 --- a/src/tools/MkHelpFile.hs +++ b/src/tools/MkHelpFile.hs @@ -1,3 +1,17 @@ +---------------------------------------------------------------------- +-- | +-- Module : (Module) +-- Maintainer : (Maintainer) +-- Stability : (stable) +-- Portability : (portable) +-- +-- > CVS $Date $ +-- > CVS $Author $ +-- > CVS $Revision $ +-- +-- (Description of the module) +----------------------------------------------------------------------------- + module Main where main = do diff --git a/src/tools/WriteF.hs b/src/tools/WriteF.hs index fd491b4e5..3e7303c1c 100644 --- a/src/tools/WriteF.hs +++ b/src/tools/WriteF.hs @@ -1,3 +1,17 @@ +---------------------------------------------------------------------- +-- | +-- Module : (Module) +-- Maintainer : (Maintainer) +-- Stability : (stable) +-- Portability : (portable) +-- +-- > CVS $Date $ +-- > CVS $Author $ +-- > CVS $Revision $ +-- +-- (Description of the module) +----------------------------------------------------------------------------- + module Main where import Fudgets import System |