W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > November 2002

Re: Model theory review, thumbs up

From: pat hayes <phayes@ai.uwf.edu>
Date: Mon, 11 Nov 2002 13:00:49 -0600
Message-Id: <p05111b20b9f5ae8181d9@[]>
To: Brian McBride <bwm@hplb.hpl.hp.com>
Cc: w3c-rdfcore-wg@w3.org

>At 14:19 09/11/2002 -0600, pat hayes wrote:
>>BTW, I'm keeping the 'current edit' at 
>>this has everything in [1] now de-styled, so anything in red is a 
>>post-Friday-snapshot edit.
>Interestingly, Mozilla hangs trying to access this, but explorer 
>seems to be ok.  Could be a config problem my end.

Or it could be our new firewall, installed this weekend. Sigh.

Im thrashing trying to debug the proofs in the appendix. Should be 
done soon and then can finish the gloss edits.

IHMC					(850)434 8903   home
40 South Alcaniz St.			(850)202 4416   office
Pensacola              			(850)202 4440   fax
FL 32501           				(850)291 0667    cell
phayes@ai.uwf.edu	          http://www.coginst.uwf.edu/~phayes
s.pam@ai.uwf.edu   for spam
Received on Monday, 11 November 2002 14:00:21 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:54:04 EDT