From 5c713d8f027a9b6be687ee3f7e917e8bd2115773 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Fri, 27 Jun 2008 09:18:50 +0000
Subject: took away old-examples

---
 old-examples/tutorial/hello/Hello.gf    | 10 ----------
 old-examples/tutorial/hello/HelloEng.gf | 10 ----------
 old-examples/tutorial/hello/HelloFin.gf | 10 ----------
 old-examples/tutorial/hello/HelloIta.gf | 10 ----------
 old-examples/tutorial/hello/hello.gfs   |  4 ----
 5 files changed, 44 deletions(-)
 delete mode 100644 old-examples/tutorial/hello/Hello.gf
 delete mode 100644 old-examples/tutorial/hello/HelloEng.gf
 delete mode 100644 old-examples/tutorial/hello/HelloFin.gf
 delete mode 100644 old-examples/tutorial/hello/HelloIta.gf
 delete mode 100644 old-examples/tutorial/hello/hello.gfs

(limited to 'old-examples/tutorial/hello')

diff --git a/old-examples/tutorial/hello/Hello.gf b/old-examples/tutorial/hello/Hello.gf
deleted file mode 100644
index 769be5cbf..000000000
--- a/old-examples/tutorial/hello/Hello.gf
+++ /dev/null
@@ -1,10 +0,0 @@
-abstract Hello = {
-
-  cat Greeting ; Recipient ;
-
-  flags startcat = Greeting ;
-
-  fun 
-    Hello : Recipient -> Greeting ;
-    World, Mum, Friends : Recipient ;
-}
\ No newline at end of file
diff --git a/old-examples/tutorial/hello/HelloEng.gf b/old-examples/tutorial/hello/HelloEng.gf
deleted file mode 100644
index 69efba6b4..000000000
--- a/old-examples/tutorial/hello/HelloEng.gf
+++ /dev/null
@@ -1,10 +0,0 @@
-concrete HelloEng of Hello = {
-
-  lincat Greeting, Recipient = {s : Str} ;
-
-  lin 
-    Hello rec = {s = "hello" ++ rec.s} ;
-    World = {s = "world"} ;
-    Mum = {s = "mum"} ;
-    Friends = {s = "friends"} ;
-}
\ No newline at end of file
diff --git a/old-examples/tutorial/hello/HelloFin.gf b/old-examples/tutorial/hello/HelloFin.gf
deleted file mode 100644
index 969142a91..000000000
--- a/old-examples/tutorial/hello/HelloFin.gf
+++ /dev/null
@@ -1,10 +0,0 @@
-concrete HelloFin of Hello = {
-
-  lincat Greeting, Recipient = {s : Str} ;
-
-  lin 
-    Hello rec = {s = "terve" ++ rec.s} ;
-    World = {s = "maailma"} ;
-    Mum = {s = "äiti"} ;
-    Friends = {s = "ystävät"} ;
-}
\ No newline at end of file
diff --git a/old-examples/tutorial/hello/HelloIta.gf b/old-examples/tutorial/hello/HelloIta.gf
deleted file mode 100644
index f1465a867..000000000
--- a/old-examples/tutorial/hello/HelloIta.gf
+++ /dev/null
@@ -1,10 +0,0 @@
-concrete HelloIta of Hello = {
-
-  lincat Greeting, Recipient = {s : Str} ;
-
-  lin 
-    Hello rec = {s = "ciao" ++ rec.s} ;
-    World = {s = "mondo"} ;
-    Mum = {s = "mamma"} ;
-    Friends = {s = "amici"} ;
-}
\ No newline at end of file
diff --git a/old-examples/tutorial/hello/hello.gfs b/old-examples/tutorial/hello/hello.gfs
deleted file mode 100644
index 783919e0e..000000000
--- a/old-examples/tutorial/hello/hello.gfs
+++ /dev/null
@@ -1,4 +0,0 @@
-import HelloEng.gf
-import HelloFin.gf
-import HelloIta.gf
-linearize -multi Hello World
-- 
cgit v1.2.3