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

From: Peter F. Patel-Schneider ([email protected])
Date: 03/08/01

• Next message: Ian Horrocks: "Re: A few comments on the new DAML-OIL spec"
• Previous message: Stefan Decker: "Re: acknowledging code contributors"
• In reply to: Jeff Heflin: "A few comments on the new DAML-OIL spec"
• Next in thread: Ian Horrocks: "Re: A few comments on the new DAML-OIL spec"
• Reply: Ian Horrocks: "Re: A few comments on the new DAML-OIL spec"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

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?

• Next message: Ian Horrocks: "Re: A few comments on the new DAML-OIL spec"
• Previous message: Stefan Decker: "Re: acknowledging code contributors"
• In reply to: Jeff Heflin: "A few comments on the new DAML-OIL spec"
• Next in thread: Ian Horrocks: "Re: A few comments on the new DAML-OIL spec"
• Reply: Ian Horrocks: "Re: A few comments on the new DAML-OIL spec"
• 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/02/02 EST