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.hs | |
| parent | ca6dfea53ea340c6f3188a2fcf560d367732f18a (diff) | |
"Committed_by_peb"
Diffstat (limited to 'src/GF.hs')
| -rw-r--r-- | src/GF.hs | 13 |
1 files changed, 11 insertions, 2 deletions
@@ -1,6 +1,15 @@ -module Main where +---------------------------------------------------------------------- +-- | +-- Module: Main +-- Responsible: Aarne Ranta (aarne@cs.chalmers.se) +-- Time-stamp: <2005-02-02, 15:41> +-- +-- This is the main module in GF +---------------------------------------------------------------------- -import GFModes +module Main (main) where + +import GFModes (gfInteract, gfBatch, batchCompile) import Operations import UseIO import Option |
