"Zerong Chen" <zrc01@uow.edu.au>]

From: Brandon Amundson (bamundson@bbn.com)
Date: 12/26/01

• Next message: Brandon Amundson: "XML well formatted code"
• Previous message: Brandon Amundson: "Pugh, DanX <danx.pugh@intel.com>]"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

From: "Zerong Chen" <zrc01@uow.edu.au>
To: <daml-help@daml.org>
Subject: question of consistency meaning
Date: Sun, 23 Dec 2001 16:00:35 +1100

Is any tool available now for checking the consistency of the meaning
written in DAML? Can DAML validator do such a job?
Thanks.

• Next message: Brandon Amundson: "XML well formatted code"
• Previous message: Brandon Amundson: "Pugh, DanX <danx.pugh@intel.com>]"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.4 : 04/03/02 EST