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

7 files changed, 0 insertions, 351 deletions

diff --git a/examples/unix/Char.gf b/examples/unix/Char.gf
deleted file mode 100644
index f10284587..000000000
--- a/examples/unix/Char.gf
+++ /dev/null
@@ -1,51 +0,0 @@
-abstract Char = {
-
-  cat 
-    [Chr] {1} ; Chr ; Letter ;
-
-  fun
-    C_dot  : Chr ;
-    C_pipe : Chr ;
-    C_hyphen : Chr ;
-    CSmall : Letter -> Chr ;
-    CCap   : Letter -> Chr ;
-    CC     : Letter -> Chr ;
-
-  CDig_0 : Chr ;
-  CDig_1 : Chr ;
-  CDig_2 : Chr ;
-  CDig_3 : Chr ;
-  CDig_4 : Chr ;
-  CDig_5 : Chr ;
-  CDig_6 : Chr ;
-  CDig_7 : Chr ;
-  CDig_8 : Chr ;
-  CDig_9 : Chr ;
-
-  L_a : Letter ;
-  L_b : Letter ;
-  L_c : Letter ;
-  L_d : Letter ;
-  L_e : Letter ;
-  L_f : Letter ;
-  L_g : Letter ;
-  L_h : Letter ;
-  L_i : Letter ;
-  L_j : Letter ;
-  L_k : Letter ;
-  L_l : Letter ;
-  L_m : Letter ;
-  L_n : Letter ;
-  L_o : Letter ;
-  L_p : Letter ;
-  L_q : Letter ;
-  L_r : Letter ;
-  L_s : Letter ;
-  L_t : Letter ;
-  L_u : Letter ;
-  L_v : Letter ;
-  L_w : Letter ;
-  L_x : Letter ;
-  L_y : Letter ;
-  L_z : Letter ;
-}
diff --git a/examples/unix/CharEng.gf b/examples/unix/CharEng.gf
deleted file mode 100644
index 7348278f5..000000000
--- a/examples/unix/CharEng.gf
+++ /dev/null
@@ -1,52 +0,0 @@
-concrete CharEng of Char = open Prelude in {
-
-lin
-  BaseChr c = c ;
-  ConsChr = infixSS "," ;
-
-  C_dot = ss "dot" ;
-  C_pipe = ss "pipe" ;
-  C_hyphen = ss (variants {"dash" ; "hyphen" ; "minus"}) ;
-  CSmall = prefixSS "small" ;
-  CCap = prefixSS "capital" ;
-  CC c = c ;
-
-  CDig_0 =  ss "zero" ;
-  CDig_1 =  ss "one" ;
-  CDig_2 =  ss "two" ;
-  CDig_3 =  ss "three" ;
-  CDig_4 =  ss "four" ;
-  CDig_5 =  ss "five" ;
-  CDig_6 =  ss "six" ;
-  CDig_7 =  ss "seven" ;
-  CDig_8 =  ss "eight" ;
-  CDig_9 =  ss "nine" ;
-
-  L_a =  ss "alpha" ;
-  L_b =  ss "bravo" ;
-  L_c =  ss "charlie" ;
-  L_d =  ss "delta" ;
-  L_e =  ss "echo" ;
-  L_f =  ss "foxtrot" ;
-  L_g =  ss "golf" ;
-  L_h =  ss "hotel" ;
-  L_i =  ss "india" ;
-  L_j =  ss "juliet" ;
-  L_k =  ss "kilo" ;
-  L_l =  ss "lima" ;
-  L_m =  ss "mike" ;
-  L_n =  ss "november" ;
-  L_o =  ss "oscar" ;
-  L_p =  ss "papa" ;
-  L_q =  ss "quebec" ;
-  L_r =  ss "romeo" ;
-  L_s =  ss "sierra" ;
-  L_t =  ss "tango" ;
-  L_u =  ss "uniform" ;
-  L_v =  ss "victor" ;
-  L_w =  ss "whiskey" ;
-  L_x =  ss "x-ray" ;
-  L_y =  ss "yankee" ;
-  L_z =  ss "zulu" ;
-
-}
\ No newline at end of file
diff --git a/examples/unix/CharEngLett.gf b/examples/unix/CharEngLett.gf
deleted file mode 100644
index 39d9b9d16..000000000
--- a/examples/unix/CharEngLett.gf
+++ /dev/null
@@ -1,52 +0,0 @@
-concrete CharEng of Char = open Prelude in {
-
-lin
-  BaseChr c = c ;
-  ConsChr = infixSS "," ;
-
-  C_dot = ss "dot" ;
-  C_pipe = ss "pipe" ;
-  C_hyphen = ss (variants {"dash" ; "hyphen" ; "minus"}) ;
-  CSmall = prefixSS "small" ;
-  CCap = prefixSS "capital" ;
-  CC c = c ;
-
-  CDig_0 =  ss "0" ;
-  CDig_1 =  ss "1" ;
-  CDig_2 =  ss "2" ;
-  CDig_3 =  ss "3" ;
-  CDig_4 =  ss "4" ;
-  CDig_5 =  ss "5" ;
-  CDig_6 =  ss "6" ;
-  CDig_7 =  ss "7" ;
-  CDig_8 =  ss "8" ;
-  CDig_9 =  ss "9" ;
-
-  L_a =  ss "A" ;
-  L_b =  ss "B" ;
-  L_c =  ss "C" ;
-  L_d =  ss "D" ;
-  L_e =  ss "E" ;
-  L_f =  ss "F" ;
-  L_g =  ss "G" ;
-  L_h =  ss "H" ;
-  L_i =  ss "I" ;
-  L_j =  ss "J" ;
-  L_k =  ss "K" ;
-  L_l =  ss "L" ;
-  L_m =  ss "M" ;
-  L_n =  ss "N" ;
-  L_o =  ss "O" ;
-  L_p =  ss "P" ;
-  L_q =  ss "Q" ;
-  L_r =  ss "R" ;
-  L_s =  ss "S" ;
-  L_t =  ss "T" ;
-  L_u =  ss "U" ;
-  L_v =  ss "V" ;
-  L_w =  ss "W" ;
-  L_x =  ss "X" ;
-  L_y =  ss "Y" ;
-  L_z =  ss "Z" ;
-
-}
\ No newline at end of file
diff --git a/examples/unix/CharUni.gf b/examples/unix/CharUni.gf
deleted file mode 100644
index 0e6628657..000000000
--- a/examples/unix/CharUni.gf
+++ /dev/null
@@ -1,67 +0,0 @@
-concrete CharUni of Char = open Prelude in {
-
-param 
-  LForm = LCap | LSma ;
-
-oper
-  chr : Str -> Str -> {s : LForm => Str} = \c,C -> {
-    s = table {
-      LCap => C ;
-      LSma => c
-      }
-    } ;
-
-lincat 
-  Letter = {s : LForm => Str} ;
-
-lin
-  BaseChr c = c ;
-  ConsChr = infixSS "&+" ;
-
-  C_dot = ss "." ;
-  C_pipe = ss "|" ;
-  C_hyphen = ss "-" ;
-  CSmall c = ss (c.s ! LSma) ;
-  CCap c = ss (c.s ! LCap) ;
-  CC c = ss (c.s ! LSma) ;
-
-  CDig_0 =  ss "0" ;
-  CDig_1 =  ss "1" ;
-  CDig_2 =  ss "2" ;
-  CDig_3 =  ss "3" ;
-  CDig_4 =  ss "4" ;
-  CDig_5 =  ss "5" ;
-  CDig_6 =  ss "6" ;
-  CDig_7 =  ss "7" ;
-  CDig_8 =  ss "8" ;
-  CDig_9 =  ss "9" ;
-
-
-  L_a =  chr "a" "A" ;
-  L_b =  chr "b" "B" ;
-  L_c =  chr "c" "C" ;
-  L_d =  chr "d" "D" ;
-  L_e =  chr "e" "E" ;
-  L_f =  chr "f" "F" ;
-  L_g =  chr "g" "G" ;
-  L_h =  chr "h" "H" ;
-  L_i =  chr "i" "I" ;
-  L_j =  chr "j" "J" ;
-  L_k =  chr "k" "K" ;
-  L_l =  chr "l" "L" ;
-  L_m =  chr "m" "M" ;
-  L_n =  chr "n" "N" ;
-  L_o =  chr "o" "O" ;
-  L_p =  chr "p" "P" ;
-  L_q =  chr "q" "Q" ;
-  L_r =  chr "r" "R" ;
-  L_s =  chr "s" "S" ;
-  L_t =  chr "t" "T" ;
-  L_u =  chr "u" "U" ;
-  L_v =  chr "v" "V" ;
-  L_w =  chr "w" "W" ;
-  L_x =  chr "x" "X" ;
-  L_y =  chr "y" "Y" ;
-  L_z =  chr "z" "Z" ;
-
-}
diff --git a/examples/unix/Unix.gf b/examples/unix/Unix.gf
deleted file mode 100644
index ea5e2c2af..000000000
--- a/examples/unix/Unix.gf
+++ /dev/null
@@ -1,43 +0,0 @@
-abstract Unix = Char ** {
-
-  cat
-    S ;           -- whole command line
-    Command ;     -- one command
-    File ;        -- file name
-    Word ;        -- string e.g. in grep
-    [Word] {1} ;  -- 
-
-  fun
-
--- Catch-all: command dictated letter by letter.
-
-    CommWords : [Word] -> Command ;
-
--- General command-line structure.
-
-    Redirect : S -> File -> S ;     -- cs >f
-    Pipe     : S -> Command -> S ;  -- cs | c
-    Comm     : Command -> S ;       -- c
-
---- This would be cool, but is it supported by speech recognition?
----    CommOpt  : (c : Command) -> [Option c] -> S ;       -- c -o -k
-
-    WhatTime   : Command ;
-    WhatDate   : Command ;
-    WhereNow   : Command ;
-    Remove     : File -> Command ;
-    Copy       : File -> File -> Command ;
-    Linecount  : File -> Command ;
-    Wordcount  : File -> Command ;
-    Grep       : Word -> File -> Command ;
-    Cat        : File -> Command ;
-
-    It : File ;                  -- no file name - contents received from pipe
-
-    FileChars : [Chr] -> File ;
-    WordChars : [Chr] -> Word ;
-
-    FileSuffix : Word -> File ;  -- *suff
-    FilePrefix : Word -> File ;  -- pref*
-
-}
diff --git a/examples/unix/UnixEng.gf b/examples/unix/UnixEng.gf
deleted file mode 100644
index 5b0ca944f..000000000
--- a/examples/unix/UnixEng.gf
+++ /dev/null
@@ -1,43 +0,0 @@
---# -path=.:prelude
-
-concrete UnixEng of Unix = CharEng ** open Prelude in {
-
-  flags lexer=text ;
-
-{-
-  lincat
-    Line ;
-    [Command] {1} ;
-    Command ;
-    File ;
--}
-
-  lin
-    CommWords w = w ;
-
-    Redirect = infixSS (optStr "and" ++ ["write the result to"]) ;
-    Pipe = infixSS "then" ;
-    Comm c = c ;
-
-    WhatTime = ss ["what time is it"] ;
-    WhatDate = ss ["what date is it"] ;
-    WhereNow = ss ["where am I now"] ;
-    Remove = prefixSS "remove" ;
-    Copy x y = ss ("copy" ++ x.s ++ "to" ++ y.s) ;
-    Linecount = prefixSS ["how many lines has"] ;
-    Wordcount = prefixSS ["how many words has"] ;
-    Grep x y = ss (["show the lines containing"] ++ x.s ++ "in" ++ y.s) ;
-    Cat = prefixSS ["show the contents of"] ;
-
-    It = ss "it" ;
-
-    FileChars = prefixSS (optStr ["the file"]) ;
-    WordChars = prefixSS (optStr ["the word"]) ;
-
-    FileSuffix = prefixSS ["all files ending with"] ;
-    FilePrefix = prefixSS ["all files beginning with"] ;
-
-    BaseWord w = w ;
-    ConsWord = infixSS "space" ;
-
-}
diff --git a/examples/unix/UnixUni.gf b/examples/unix/UnixUni.gf
deleted file mode 100644
index b1b220824..000000000
--- a/examples/unix/UnixUni.gf
+++ /dev/null
@@ -1,43 +0,0 @@
---# -path=.:prelude
-
-concrete UnixUni of Unix = CharUni ** open Prelude in {
-
-  flags unlexer=bind ;
-
-{-
-  lincat
-    Line ;
-    [Command] {1} ;
-    Command ;
-    File ;
--}
-
-  lin
-    CommWords w = w ;
-
-    Redirect = infixSS ">" ;
-    Pipe = infixSS "|" ;
-    Comm c = c ;
-
-    WhatTime = ss ["date +%D"] ;
-    WhatDate = ss ["date +%T"] ;
-    WhereNow = ss ["pwd"] ;
-    Remove = prefixSS "rm" ;
-    Copy x y = ss ("cp" ++ x.s ++ y.s) ;
-    Linecount = prefixSS ["wc -l"] ;
-    Wordcount = prefixSS ["wc -w"] ;
-    Grep x y = ss ("grep" ++ x.s ++ y.s) ;
-    Cat = prefixSS "cat" ;
-
-    It = ss [] ;
-
-    FileChars c = c ;
-    WordChars c = c ;
-
-    FileSuffix = prefixSS ["* &+"] ;
-    FilePrefix = postfixSS ["&+ *"] ;
-
-    BaseWord w = w ;
-    ConsWord = cc2 ;
-
-}