From e9e80fc389365e24d4300d7d5390c7d833a96c50 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Wed, 25 Jun 2008 16:54:35 +0000
Subject: changed names of resource-1.3; added a note on homepage on release

---
 examples/regulus/toy0/example-based/Toy0.gf | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 examples/regulus/toy0/example-based/Toy0.gf

(limited to 'examples/regulus/toy0/example-based/Toy0.gf')

diff --git a/examples/regulus/toy0/example-based/Toy0.gf b/examples/regulus/toy0/example-based/Toy0.gf
deleted file mode 100644
index b1e2d6a40..000000000
--- a/examples/regulus/toy0/example-based/Toy0.gf
+++ /dev/null
@@ -1,15 +0,0 @@
--- toy0 grammar from Chapter 2 of the Regulus book
-abstract Toy0 = {
-
-  flags startcat=NP ;
-
-  cat 
-    NP ; 
-    Noun ; 
-    Spec ;
-
-  fun  
-    SpecNoun      : Spec -> Noun -> NP ;
-    One, Two      : Spec ;
-    Felis, Canis  : Noun ;
-}
-- 
cgit v1.2.3