diff options
| author | peb <unknown> | 2005-02-02 14:37:28 +0000 |
|---|---|---|
| committer | peb <unknown> | 2005-02-02 14:37:28 +0000 |
| commit | a7b25a9ca45c7ab7e4c64823698541122a0c865d (patch) | |
| tree | 603a2ea9ee5fa63e3dac10e613f53a265a8f6244 /src/GF | |
| parent | ca6dfea53ea340c6f3188a2fcf560d367732f18a (diff) | |
"Committed_by_peb"
Diffstat (limited to 'src/GF')
| -rw-r--r-- | src/GF/GFModes.hs | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/GF/GFModes.hs b/src/GF/GFModes.hs index 3c9d59f04..f17c646eb 100644 --- a/src/GF/GFModes.hs +++ b/src/GF/GFModes.hs @@ -1,4 +1,13 @@ -module GFModes where +---------------------------------------------------------------------- +-- | +-- Module: GFModes +-- Responsible: Aarne Ranta (aarne@cs.chalmers.se) +-- Time-stamp: <2005-02-02, 15:24> +-- +-- (Description of the module) +---------------------------------------------------------------------- + +module GFModes (gfInteract, gfBatch, batchCompile) where import Operations import UseIO |