From 77270a010a0b453e9a84c3e62db7cfd22e49d55d Mon Sep 17 00:00:00 2001 From: bjorn Date: Thu, 14 Aug 2008 07:58:04 +0000 Subject: Remove the grammars directory. It was full of old grammars that don't compile these days. See the old source distributions if you want them. --- grammars/database/Database.gf | 33 --------------------------------- 1 file changed, 33 deletions(-) delete mode 100644 grammars/database/Database.gf (limited to 'grammars/database/Database.gf') diff --git a/grammars/database/Database.gf b/grammars/database/Database.gf deleted file mode 100644 index eb0c08d9f..000000000 --- a/grammars/database/Database.gf +++ /dev/null @@ -1,33 +0,0 @@ -abstract Database = { - -flags startcat=Query ; - -cat - Query ; - Category ; Subject ; Value ; Property ; Relation ; Comparison ; Name ; - Feature ; - -fun - WhichAre : Category -> Property -> Query ; - IsThere : Category -> Query ; - AreThere : Category -> Query ; - IsIt : Subject -> Property -> Query ; - WhatIs : Value -> Query ; - - MoreThan : Comparison -> Subject -> Property ; - TheMost : Comparison -> Category -> Value ; - Relatively : Comparison -> Category -> Property ; - - RelatedTo : Relation -> Subject -> Property ; - - Individual : Name -> Subject ; - AllN : Category -> Subject ; - Any : Category -> Subject ; - MostN : Category -> Subject ; - EveryN : Category -> Subject ; - - FeatureOf : Feature -> Subject -> Subject ; - ValueOf : Feature -> Name -> Value ; - - WithProperty : Category -> Property -> Category ; -} ; -- cgit v1.2.3