Re: A few comments on the new DAML-OIL spec

From: Peter F. Patel-Schneider (pfps@research.bell-labs.com)
Date: 03/08/01


I changed two files as follows and checked them back in

model-theoretic-semantics.html
	Add sameIndividualAs and differentIndividualFrom
	Fix <tt> tag

daml+oil.daml
	Add sameIndividualAs and differentIndividualFrom
	Fix pointers to nonNegativeInteger
	Fix comment for UnambiguousProperty

There was already an attempted fix for nonNegativeInteger but it didn't
have .xsd and also had the wrong month.  I think that everything is correct
now.


This fixes Jeff's problems, except for the extraneous paragraph in
reference.html and the mismatch between the definitional files (the ones
above) and the other files concerning untyped literals.

peter

PS:  Who, if anyone, is fixing these other files?


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