From ea0500e61d1047afa89db08bf7fe8f1119c25ade Mon Sep 17 00:00:00 2001 From: bringert Date: Sat, 21 Apr 2007 09:39:36 +0000 Subject: [PATCH] Updated resource gfdoc. --- lib/resource-1.0/doc/gfdoc/Combinators.html | 16 ++++++++++++++-- 1 file changed, 14 insertions(+), 2 deletions(-) diff --git a/lib/resource-1.0/doc/gfdoc/Combinators.html b/lib/resource-1.0/doc/gfdoc/Combinators.html index ee2b4f1d2..0758c6284 100644 --- a/lib/resource-1.0/doc/gfdoc/Combinators.html +++ b/lib/resource-1.0/doc/gfdoc/Combinators.html @@ -6,7 +6,7 @@

Combinators: a High-Level Syntax API

-Last update: 2007-03-24 23:08:17 CET
+Last update: 2007-04-21 11:38:28 CEST

@@ -17,7 +17,8 @@
  • Function application
  • Coordination
  • Modification -
  • Text append +
  • Negation +
  • Text append

    @@ -114,6 +115,17 @@ to construct arguments of these functions.

    +

    Negation

    +
    +        neg : overload {
    +          neg : Imp -> Utt ;
    +          neg : Cl -> S ;
    +          neg : QCl -> QS ;
    +          neg : RCl -> RS 
    +        };
    +
    +

    +

    Text append

    This is not in ground API, because it would destroy parsing.