Re: a testcase where we had existentials in the conclusion

Dan, it's another problem; I see

amdus@VAM969 ~/w3ccvs/WWW/2000/10/swap
$ cvs update -d LX
Enter passphrase for RSA key '/cygdrive/c/.ssh/identity':
? LX/old/rdf.pyc
? LX/old/toShortNames.pyc
? LX/old/__init__.pyc
cvs server: Updating LX
cvs update: move away LX/; it is in the way
cvs server: Updating LX/engine
cvs server: Updating LX/language
cvs server: Updating LX/old
cvs server: Updating LX/support
cvs server: Updating LX/test

and it's because I'm on cygwin where
LX/ and are the same
so it's now OK and working after I did

amdus@VAM969 ~/w3ccvs/WWW/2000/10/swap
$ rm LX/

amdus@VAM969 ~/w3ccvs/WWW/2000/10/swap
$ cvs update LX/
Enter passphrase for RSA key '/cygdrive/c/.ssh/identity':

-- ,
Jos De Roo, AGFA

                    Dan Connolly                                                                                   
                    <connolly@w3.o       To:     Jos De_Roo/AMDUS/MOR/Agfa-NV/BE/BAYER@AGFA                        
                    rg>                  cc:, Tim Berners-Lee <>, Sandro Hawke  
                    2003-03-01           Subject:     Re: a testcase where we had existentials in the conclusion   
                    11:57 PM                                                                                       

On Sat, 2003-03-01 at 16:15, Jos De_Roo wrote:
> PS tested with a previous cwm as the latest cwm on my laptop gives
> Traceback (most recent call last):
>   File "/w3ccvs/WWW/2000/10/swap/", line 58, in ?
>     import LX.engine.llynInterface
>   File "/w3ccvs/WWW/2000/10/swap\LX\engine\", line 18, in
>     import LX.uri
> ImportError: No module named uri


% cvs update -d LX

You're not the first to trip over this.

Dan Connolly, W3C

Received on Sunday, 2 March 2003 06:57:41 UTC