From 73e401cee21fa61dcf9900d8d2b40ddd39f4e612 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Fri, 27 Jun 2008 11:59:03 +0000
Subject: updated synopsis, removed GF/devel/

---
 devel/compiler/Tgt.cf | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 devel/compiler/Tgt.cf

(limited to 'devel/compiler/Tgt.cf')

diff --git a/devel/compiler/Tgt.cf b/devel/compiler/Tgt.cf
deleted file mode 100644
index f44184a52..000000000
--- a/devel/compiler/Tgt.cf
+++ /dev/null
@@ -1,18 +0,0 @@
---- target language
-
-Tg. Object ::= [Fun] ;
-
-FVal. Fun ::= Id "=" Val ;
-
-terminator Fun ";" ;
-
-VRec. Val ::= "[" [Val] "]" ;
-VPro. Val ::= "(" Val "." Val ")" ;
-VTok. Val ::= String ;
-VArg. Val ::= "$" Integer ;
-VPar. Val ::= Integer ;
-VCat. Val ::= "(" Val Val ")" ;
-
-terminator Val "," ;
-
-token Id (letter | '_') (letter | digit | '_' | '\'')* ;
-- 
cgit v1.2.3