From: Peter F. Patel-Schneider (email@example.com)
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