From 032531c6a690edbb377ff11ee2a743a30c5bf500 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 27 Jun 2008 11:27:40 +0000 Subject: rm old tutorials --- doc/tutorial/applications/CommentsI.gf | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 doc/tutorial/applications/CommentsI.gf (limited to 'doc/tutorial/applications/CommentsI.gf') diff --git a/doc/tutorial/applications/CommentsI.gf b/doc/tutorial/applications/CommentsI.gf deleted file mode 100644 index d21150ff0..000000000 --- a/doc/tutorial/applications/CommentsI.gf +++ /dev/null @@ -1,21 +0,0 @@ ---# -path=.:prelude - -incomplete concrete CommentsI of Comments = open Syntax in { - - lincat - S = Syntax.S ; - Quality = AP ; - Kind = CN ; - Item = NP ; - - lin - Is item quality = PosVP item (PredAP quality) ; - This = DetCN this_Det ; - That = DetCN that_Det ; - These = DetCN these_Det ; - Those = DetCN those_Det ; - QKind = ModCN ; - Very = AdAP very_AdA ; - -} - \ No newline at end of file -- cgit v1.2.3