Re: pls fix daml+oil-index [Fwd: N3 version of daml+oil.daml (KIF version, too)]

From: Dan Connolly (connolly@w3.org)
Date: 07/24/01

Next message: Peter F. Patel-Schneider: "Re: Joint Committee telecon today 24 July"
Previous message: Mike Dean: "Re: pls fix daml+oil-index [Fwd: N3 version of daml+oil.daml (KIF version, too)]"
In reply to: Mike Dean: "Re: pls fix daml+oil-index [Fwd: N3 version of daml+oil.daml (KIF version, too)]"
Next in thread: Jim Hendler: "Re: pls fix daml+oil-index [Fwd: N3 version of daml+oil.daml (KIF version, too)]"
Reply: Jim Hendler: "Re: pls fix daml+oil-index [Fwd: N3 version of daml+oil.daml (KIF version, too)]"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

Mike Dean wrote:
> 
> Dan,
> 
> I've been reluctant to change [1] to drop the .daml suffices
> for several reasons:

Mike, it's broken. Just please fix it.


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/

Next message: Peter F. Patel-Schneider: "Re: Joint Committee telecon today 24 July"
Previous message: Mike Dean: "Re: pls fix daml+oil-index [Fwd: N3 version of daml+oil.daml (KIF version, too)]"
In reply to: Mike Dean: "Re: pls fix daml+oil-index [Fwd: N3 version of daml+oil.daml (KIF version, too)]"
Next in thread: Jim Hendler: "Re: pls fix daml+oil-index [Fwd: N3 version of daml+oil.daml (KIF version, too)]"
Reply: Jim Hendler: "Re: pls fix daml+oil-index [Fwd: N3 version of daml+oil.daml (KIF version, too)]"
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