New release of daml+oil

From: Ian Horrocks (horrocks@cs.man.ac.uk)
Date: 01/10/01


I have updated daml+oil.daml in line with our decisions of yesterday:

* restrictedBy has been deleted
* Empty (list) changed to nil

I also (ab)used my wide ranging editorial powers by reordering the
statements in a more logical (to me) manner, and updating a few of the
comments.

Finally, and a little more controversially, I deleted "item" from the
list syntax section: we don't use it, and I presume that it isn't our
intention to provide a general purpose list implementation. Scream now
if you object to this.

The latest version is in the usual place:

    http://www.cs.man.ac.uk/~horrocks/daml+oil

I am currently working to update the changes file - I will mail again
when that is in place.

Ian


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