From f5461eb3d4eb2605b546a4ed202c12bcdaa1f4e4 Mon Sep 17 00:00:00 2001
From: "john.j.camilleri" <john.j.camilleri@chalmers.se>
Date: Mon, 16 Sep 2013 07:17:27 +0000
Subject: Remove contribs and examples

Everything has now been moved to a separate repository at
https://github.com/GrammaticalFramework/gf-contrib
The contents of the examples folder are build during SetupWeb
---
 examples/tutorial/hello/Hello.gf    | 10 ----------
 examples/tutorial/hello/HelloEng.gf | 10 ----------
 examples/tutorial/hello/HelloFin.gf | 10 ----------
 examples/tutorial/hello/HelloIta.gf | 10 ----------
 examples/tutorial/hello/hello.gfs   |  4 ----
 5 files changed, 44 deletions(-)
 delete mode 100644 examples/tutorial/hello/Hello.gf
 delete mode 100644 examples/tutorial/hello/HelloEng.gf
 delete mode 100644 examples/tutorial/hello/HelloFin.gf
 delete mode 100644 examples/tutorial/hello/HelloIta.gf
 delete mode 100644 examples/tutorial/hello/hello.gfs

(limited to 'examples/tutorial/hello')

diff --git a/examples/tutorial/hello/Hello.gf b/examples/tutorial/hello/Hello.gf
deleted file mode 100644
index 769be5cbf..000000000
--- a/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/examples/tutorial/hello/HelloEng.gf b/examples/tutorial/hello/HelloEng.gf
deleted file mode 100644
index 69efba6b4..000000000
--- a/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/examples/tutorial/hello/HelloFin.gf b/examples/tutorial/hello/HelloFin.gf
deleted file mode 100644
index 969142a91..000000000
--- a/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/examples/tutorial/hello/HelloIta.gf b/examples/tutorial/hello/HelloIta.gf
deleted file mode 100644
index f1465a867..000000000
--- a/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/examples/tutorial/hello/hello.gfs b/examples/tutorial/hello/hello.gfs
deleted file mode 100644
index 3a18fee52..000000000
--- a/examples/tutorial/hello/hello.gfs
+++ /dev/null
@@ -1,4 +0,0 @@
-import HelloEng.gf
-import HelloFin.gf
-import HelloIta.gf
-linearize Hello World
-- 
cgit v1.2.3