From 082b3575f8d065f3d1626d89605ec3764a5ac28b Mon Sep 17 00:00:00 2001 From: bringert Date: Thu, 22 Mar 2007 14:38:32 +0000 Subject: [PATCH] Updated resource api doc --- lib/resource-1.0/doc/gfdoc/Constructors.html | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/lib/resource-1.0/doc/gfdoc/Constructors.html b/lib/resource-1.0/doc/gfdoc/Constructors.html index 64b759e00..af0c87dd2 100644 --- a/lib/resource-1.0/doc/gfdoc/Constructors.html +++ b/lib/resource-1.0/doc/gfdoc/Constructors.html @@ -6,7 +6,7 @@

Constructors: the High-Level Syntax API

-Last update: 2006-12-01 13:43:01 CET
+Last update: 2007-03-22 15:36:46 CET

@@ -180,7 +180,8 @@ to this. mkDet : QuantPl -> Num -> Ord -> Det ; -- these five best (men) mkDet : QuantPl -> Det ; -- these (men) mkDet : Quant -> Det ; -- this (man) - mkDet : Num -> Det ; -- five (men) + mkDet : Num -> Det ; -- forty-five (men) + mkDet : Digit -> Det ; -- five (men) mkDet : Pron -> Det -- my (house) } ;