From e778619f80ce97cc6d1210c7d2781137e968adfd Mon Sep 17 00:00:00 2001 From: "john.j.camilleri" Date: Fri, 1 Jun 2012 14:21:26 +0000 Subject: GFEP: updated readme and removed examples folder --- eclipse/examples/hello/HelloAbs.gf | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 eclipse/examples/hello/HelloAbs.gf (limited to 'eclipse/examples/hello/HelloAbs.gf') diff --git a/eclipse/examples/hello/HelloAbs.gf b/eclipse/examples/hello/HelloAbs.gf deleted file mode 100644 index 70ab490bf..000000000 --- a/eclipse/examples/hello/HelloAbs.gf +++ /dev/null @@ -1,12 +0,0 @@ -abstract HelloAbs = AbsCat [Greeting, Recipient] ** { - - flags startcat = Greeting ; - - cat Farewell ; - - fun - Hello : Recipient -> Greeting ; - Goodbye : Recipient -> Farewell ; - World, Parent, Friends : Recipient ; - -} -- cgit v1.2.3