changed names of resource-1.3; added a note on homepage on release

1 files changed, 0 insertions, 28 deletions

diff --git a/examples/big/extract2gf.hs b/examples/big/extract2gf.hs
deleted file mode 100644
index 6fbc1f5da..000000000
--- a/examples/big/extract2gf.hs
+++ /dev/null
@@ -1,28 +0,0 @@
-import System
-import Char
-
--- usage: extract2gf <lang> <extracted>
-
-main = do
-  la:f:_ <- getArgs
-  let cnc = f ++ ".gf" 
-  let abs = f ++ "Abs.gf" 
-  s <- readFile f
-  writeFile abs $ "abstract " ++ f ++ "Abs = Cat ** {\n"
-  writeFile cnc $ "concrete " ++ f ++ " of " ++ f ++ 
-    "Abs = Cat" ++ la ++ " ** open Paradigms" ++ la ++ " in {\n"
-  mapM_ (mkOne abs cnc . words) $ filter (not . empty) $ lines s
-  appendFile abs "}"
-  appendFile cnc "}"
-
--- format: cat oper args
-
-mkOne abs cnc (cat : oper : args@(a1:_)) = do
-  appendFile abs $ "  fun " ++ fun ++ " : " ++ cat ++ " ;\n"
-  appendFile cnc $ "  lin " ++ fun ++ " = " ++ lin ++ " ;\n"
- where
-   fun = a1 ++ "_" ++ cat ++ "_" ++ oper
-   lin = unwords $ oper:["\"" ++ s ++ "\"" | s <- args]
-mkOne _ _ ws = putStrLn $ unwords ws
-
-empty s = all isSpace s || take 2 s == "--"